diff options
author | Bruno Haible <bruno@clisp.org> | 2008-08-26 09:15:51 +0200 |
---|---|---|
committer | Bruno Haible <bruno@clisp.org> | 2008-08-26 09:15:51 +0200 |
commit | b5d21bb981778980b5f952be6075f5054a2eabd2 (patch) | |
tree | a5ee0b73356e390bcaafd865d095f2fe31d07011 /doc/Makefile | |
parent | 00ae160413545c4a01c500d41684b675547d1e83 (diff) | |
download | gnulib-b5d21bb981778980b5f952be6075f5054a2eabd2.tar.gz |
Generate INSTALL file variants with prettier quotes.
Diffstat (limited to 'doc/Makefile')
-rw-r--r-- | doc/Makefile | 18 |
1 files changed, 17 insertions, 1 deletions
diff --git a/doc/Makefile b/doc/Makefile index 7270a5b796..a2b36e4116 100644 --- 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. |