1 2
``make -C Doc suspicious`` will be removed soon in favor of ``make -C Doc check``, mark it as deprecated.