]> Savannah Git Hosting - gnulib.git/commitdiff
no need for tendentious comment
authorKarl Berry <karl@freefriends.org>
Sun, 11 Aug 2013 15:35:08 +0000 (08:35 -0700)
committerKarl Berry <karl@freefriends.org>
Sun, 11 Aug 2013 15:35:08 +0000 (08:35 -0700)
doc/Makefile

index f64732f5e54a7e44c788bf90fe91544d435697b7..ce8882ce7b2b1494c84cb75ed6ed55586a0cf9ca 100644 (file)
@@ -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 \