-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
+INSTALL.ISO: INSTALL
+ sed -e "s/\`\([^']*\)'/'\1'/g" $< > $@
+
+# INSTALL file with ISO 10646 (Unicode) quotation marks.
+INSTALL.UTF-8: INSTALL
+ sed -e "s/\`\([^']*\)'/‘\1’/g" $< > $@