From 1d1640c57b427c893835b9fec05bc547975fc6e5 Mon Sep 17 00:00:00 2001 From: Karl Berry Date: Sun, 11 Aug 2013 08:35:08 -0700 Subject: [PATCH 1/1] no need for tendentious comment --- doc/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 \ -- 2.11.0