X-Git-Url: https://erislabs.net/gitweb/?a=blobdiff_plain;f=doc%2FMakefile;h=ce8882ce7b2b1494c84cb75ed6ed55586a0cf9ca;hb=1d1640c57b427c893835b9fec05bc547975fc6e5;hp=f64732f5e54a7e44c788bf90fe91544d435697b7;hpb=60cabf7b9c08a4dc9837cf36fe4f94bcb00de3e2;p=gnulib.git 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 \