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