summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorRoland McGrath <roland@gnu.org>2006-03-01 10:05:04 +0000
committerRoland McGrath <roland@gnu.org>2006-03-01 10:05:04 +0000
commitc9dc3f62698e9b456869ba8c1f0fd8f3c672ebf2 (patch)
treee52529d38c3e85221e723eee9d59c053ef5d9192 /Makefile
parent35129bc0e34e7fe7d9d129ae6ffc2cdfa25a8df2 (diff)
* Makefile (format-me): Use --plaintext --no-number-sections.
* NOTES, INSTALL: Regenerated.
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 8db0ff51f4..25bcca0135 100644
--- a/Makefile
+++ b/Makefile
@@ -399,7 +399,7 @@ tag-%: $(files-for-dist)
define format-me
@rm -f $@
-makeinfo --no-validate --no-warn --no-headers $< -o $@
+makeinfo --no-validate --plaintext --no-number-sections $< -o $@
-chmod a-w $@
endef
INSTALL: manual/install.texi; $(format-me)