(format-me): New canned sequence; runs makeinfo --no-headers.

(INSTALL): Use it.
(NOTES): New file rule.

diff --git a/Makefile b/Makefile
index 52a1afebccc7c8e3fb2b1652aa36e7bb275e187c..c98cb2e035ec68451bb101de45e4ba0dec5f1171 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -236,5 +236,10 @@ generated := $(generated) stubs.h
 
 README: README.template version.c ; # Make-dist should update README.
 
-INSTALL: manual/maint.texi
-       makeinfo --no-validate --no-warn --no-headers $< -o $@
+define format-me
+@rm -f $@
+makeinfo --no-validate --no-warn --no-headers $< -o $@
+-chmod a-w $@
+endef
+INSTALL: manual/maint.texi; $(format-me)
+NOTES: manual/creature.texi; $(format-me)