From: Karl Berry Date: Sun, 11 Aug 2013 15:35:08 +0000 (-0700) Subject: no need for tendentious comment X-Git-Tag: v0.1~72 X-Git-Url: http://erislabs.org.uk/gitweb/?a=commitdiff_plain;h=1d1640c57b427c893835b9fec05bc547975fc6e5;p=gnulib.git no need for tendentious comment --- diff --git a/doc/Makefile b/doc/Makefile index f64732f5e..ce8882ce7 100644 --- 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 \