diff --git a/doc/Makefile.in b/doc/Makefile.in index d24f5a7..bd405df 100644 --- a/doc/Makefile.in +++ b/doc/Makefile.in @@ -63,8 +63,10 @@ install-docs: $(HTML_FILES) chmod 644 $(DESTDIR)$(DOCDIR)/$$f; \ done -clean: distclean +clean: + rm -f $(MAN_FILES) $(TXT_FILES) $(HTML_FILES) rm -f $(MAN_IN_FILES) distclean: rm -f $(MAN_FILES) $(TXT_FILES) $(HTML_FILES) + rm -f Makefile