update from texinfo

[gnulib.git] / doc / Makefile

diff --git a/doc/Makefile b/doc/Makefile
index 7270a5b..30961d0 100644 (file)
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -24,10 +24,17 @@ html: $(doc).html
 dvi: $(doc).dvi
 pdf: $(doc).pdf
 
+# INSTALL file with old ASCII quotation marks (looks ugly on modern machines).
 INSTALL: install.texi
-       { echo '@firstparagraphindent insert'; cat $<; } > tmp.texi
-       $(MAKEINFO) --plaintext --no-validate tmp.texi > $@
-       rm -f tmp.texi
+       $(MAKEINFO) --plaintext --no-validate $< > $@
+
+# INSTALL file with ISO 646 or ISO 8859 quotation marks.
+INSTALL.ISO: install.texi
+       $(MAKEINFO) --plaintext --no-validate $< | sed -e "s/\`\([^']*\)'/'\1'/g" > $@
+
+# INSTALL file wit ISO 10646 (Unicode) quotation marks.
+INSTALL.UTF-8: install.texi
+       $(MAKEINFO) --plaintext --no-validate $< | sed -e "s/\`\([^']*\)'/‘\1’/g" > $@
 
 GNULIB_TEXI_FILES = $(filter-out maintain.texi make-stds.texi standards.texi,$(wildcard *.texi)) $(wildcard posix-headers/*.texi) $(wildcard posix-functions/*.texi) $(wildcard glibc-headers/*.texi) $(wildcard glibc-functions/*.texi)