if a signal is received. This fixes a bug where killing the process would cause a "No manual entry for XXX" to be printed even if the manpage was found.
as before.