Generate INSTALL file variants with prettier quotes.

diff --git a/ChangeLog b/ChangeLog
index 365531ea4f84d34285b54d304adf885e87097644..3aa2263fe639900d465a12ea846eb7781d4d96cd 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,10 @@
+2008-08-26  Bruno Haible  <bruno@clisp.org>
+
+       Generate INSTALL file variants with prettier quotes.
+       * doc/Makefile (INSTALL_PRELUDE): New macro.
+       (INSTALL): Use it.
+       (INSTALL.ISO, INSTALL.UTF-8): New rules.
+
 2008-08-26  Bruno Haible  <bruno@clisp.org>
 
        Run makeinfo in an English locale.

diff --git a/doc/Makefile b/doc/Makefile
index 7270a5b79616288be627f738a0d4f43a51e3d4bb..a2b36e4116a6e24457e516ff3646c35cb7043c79 100644 (file)
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -24,11 +24,27 @@ html: $(doc).html
 dvi: $(doc).dvi
 pdf: $(doc).pdf
 
+INSTALL_PRELUDE = \
+  echo '@firstparagraphindent insert';
+
+# INSTALL file with old ASCII quotation marks (looks ugly on modern machines).
 INSTALL: install.texi
-       { echo '@firstparagraphindent insert'; cat $<; } > tmp.texi
+       { $(INSTALL_PRELUDE) cat $<; } > tmp.texi
        $(MAKEINFO) --plaintext --no-validate tmp.texi > $@
        rm -f tmp.texi
 
+# INSTALL file with ISO 646 or ISO 8859 quotation marks.
+INSTALL.ISO: install.texi
+       { $(INSTALL_PRELUDE) cat $<; } > tmpi.texi
+       $(MAKEINFO) --plaintext --no-validate tmpi.texi | sed -e "s/\`\([^']*\)'/'\1'/g" > $@
+       rm -f tmpi.texi
+
+# INSTALL file wit ISO 10646 (Unicode) quotation marks.
+INSTALL.UTF-8: install.texi
+       { $(INSTALL_PRELUDE) cat $<; } > tmpu.texi
+       $(MAKEINFO) --plaintext --no-validate tmpu.texi | sed -e "s/\`\([^']*\)'/‘\1’/g" > $@
+       rm -f tmpu.texi
+
 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)
 
 # Date of last update. Requires GNU date.