projects
/
gnulib.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
60cabf7
)
no need for tendentious comment
author
Karl Berry
<karl@freefriends.org>
Sun, 11 Aug 2013 15:35:08 +0000
(08:35 -0700)
committer
Karl Berry
<karl@freefriends.org>
Sun, 11 Aug 2013 15:35:08 +0000
(08:35 -0700)
doc/Makefile
patch
|
blob
|
history
diff --git
a/doc/Makefile
b/doc/Makefile
index
f64732f
..
ce8882c
100644
(file)
--- a/
doc/Makefile
+++ b/
doc/Makefile
@@
-39,7
+39,7
@@
INSTALL_PRELUDE = echo '@firstparagraphindent insert'
OMIT_TRAILING_EMPTY_LINES = /^$$/H; /^$$/d; x; s/\n//p; s/\n*//; x
-# INSTALL file with
old ASCII quotation marks (looks ugly on modern machines)
.
+# INSTALL file with
directed ASCII quotation marks
.
INSTALL: install.texi
$(INSTALL_PRELUDE) | cat - $< > tmp.texi
$(MAKEINFO) --plaintext --no-validate tmp.texi \