albinus pushed a change to branch externals/debbugs. from c2f34b2379 Use consequently `when-let*' and `if-let* new 7f0e390dd5 Makefile: Add build targets for info manuals new 69f4dc14e8 doc: Update manual names in the directory node
Summary of changes: Makefile | 11 +++++++++-- debbugs-ug.texi | 2 +- debbugs.texi | 2 +- 3 files changed, 11 insertions(+), 4 deletions(-)