X-Git-Url: http://erislabs.net/gitweb/?a=blobdiff_plain;f=doc%2FMakefile;h=30961d0d7a38e87d39e0b0e7a498152a32bc7f16;hb=3a88d6d488ff84cfab9d496f937d825daadfc684;hp=607dad9f940b2beaeac4b31e2cf0f5414c6a9bfb;hpb=25fedb1f9fe7f9f218add67a17feb0a50dd96de1;p=gnulib.git

diff --git a/doc/Makefile b/doc/Makefile
index 607dad9f9..30961d0d7 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -7,6 +7,7 @@
 
 doc = gnulib
 
+MAKEINFO = env LANG= LC_MESSAGES= LC_ALL= LANGUAGE= makeinfo
 TEXI2HTML = $(MAKEINFO) --no-split --reference-limit=2000 --html
 %.html: %.texi
 	$(TEXI2HTML) -o $@ $<
@@ -23,6 +24,18 @@ html: $(doc).html
 dvi: $(doc).dvi
 pdf: $(doc).pdf
 
+# INSTALL file with old ASCII quotation marks (looks ugly on modern machines).
+INSTALL: install.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)
 
 # Date of last update. Requires GNU date.