diff options
Diffstat (limited to 'doc/Makefile')
| -rw-r--r-- | doc/Makefile | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/doc/Makefile b/doc/Makefile index 9ed025d..7267dfc 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -47,5 +47,9 @@ $(MANPAGES_DEST): $(MAN8DIR)/%: % $(MAN8DIR): [ -d $@ ] || $(INSTALL) -d $@ -clean: +clean: ; + +distclean: $(RM) $(MANPAGES_GENERATED) + +.PHONY: all install install_doc clean distclean |