diff --git a/doc/Makefile b/doc/Makefile index e85e53b3da..b6ed791dc4 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -93,6 +93,8 @@ uninstall: uninstall-man uninstall-man: $(RM) $(addprefix "$(MANDIR)/man1/",$(ALLMANPAGES)) +docclean: clean + clean:: $(RM) $(TXTPAGES) doc/*.html doc/*.pod doc/*.1 doc/*.3 $(CLEANSUFFIXES:%=doc/%) doc/avoptions_*.texi $(RM) -r doc/doxy/html