diff options
Diffstat (limited to 'doc/Makefile.am')
| -rw-r--r-- | doc/Makefile.am | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index c10bb0b..1a7396c 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -35,7 +35,7 @@ EXTRA_DIST = \ untabify.el clean-local: - rm -rf manual + @rm -rf manual # Checking check-format: @@ -141,15 +141,15 @@ check-unrevised: all-check-docs: check-format check-options check-pragmas check-builtins check-mflib check-exceptions check-refs check-fixmes check-writeme check-unrevised check-docs: - $(MAKE) -k all-check-docs + @$(MAKE) -k all-check-docs # master-menu: - emacs -batch -l mastermenu.el -f make-master-menu $(info_TEXINFOS) + $(AM_V_GEN)emacs -batch -l mastermenu.el -f make-master-menu $(info_TEXINFOS) untabify: - emacs -batch -l untabify.el $(info_TEXINFOS) $(mailfromd_TEXINFOS) + @emacs -batch -l untabify.el $(info_TEXINFOS) $(mailfromd_TEXINFOS) final: untabify master-menu |