makefile: remove Makefile in doc/Makefile on distclean

diff --git a/doc/Makefile.in b/doc/Makefile.in
index d24f5a772335aa376d901b62ad1a8a0e1c746021..bd405df39b654f77bdc36a9e10386830dacc71a2 100644 (file)
--- 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