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."
