# https://github.com/LPCIC/elpi/issues/357
elpi: no-manual-page [usr/bin/elpi-trace-elaborator]
