[Top][All Lists]

[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) Makefile

 mostlyclean: clean

 maintainer-clean: clean
-   $(RM) Makefile

    @echo "This documentation should not be installed."

reply via email to

[Prev in Thread] Current Thread [Next in Thread]