[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Patch] distclean should not rm lib/readline/doc/Makefile
|
From: |
Mike Jonkmans |
|
Subject: |
[Patch] distclean should not rm lib/readline/doc/Makefile |
|
Date: |
Tue, 16 Mar 2021 16:38:11 +0100 |
A 'make distclean' removes lib/readline/doc/Makefile
It is a handmade Makefile, so probably should not be removed.
Idem for maintainer-clean.
Regards, Mike Jonkmans
diff --git lib/readline/doc/Makefile lib/readline/doc/Makefile
index af5ee3e5..6bc2e5ea 100644
--- lib/readline/doc/Makefile
+++ lib/readline/doc/Makefile
@@ -130,14 +130,12 @@ clean:
distclean: clean
$(RM) $(CREATED_DOCS)
$(RM) $(INTERMEDIATE_OBJ)
- $(RM) Makefile
mostlyclean: clean
maintainer-clean: clean
$(RM) $(CREATED_DOCS)
$(RM) $(INTERMEDIATE_OBJ)
- $(RM) Makefile
install:
@echo "This documentation should not be installed."
- [Patch] distclean should not rm lib/readline/doc/Makefile,
Mike Jonkmans <=