From 7b52c1578f43090ebce27f6e03e8f423c564a2c1 Mon Sep 17 00:00:00 2001 From: Miroslav Lichvar Date: Mon, 14 Mar 2016 15:50:59 +0100 Subject: [PATCH] makefile: remove Makefile in doc/Makefile on distclean --- doc/Makefile.in | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) 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