X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2FMakefile;h=30961d0d7a38e87d39e0b0e7a498152a32bc7f16;hb=0a29fc2d832c86d69e98b32bbdbc4e746ca2d16c;hp=a2b36e4116a6e24457e516ff3646c35cb7043c79;hpb=5682f5f5c354875d4b0a75a1d1b39795123a1518;p=pspp

diff --git a/doc/Makefile b/doc/Makefile
index a2b36e4116..30961d0d7a 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -24,26 +24,17 @@ 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
-	{ $(INSTALL_PRELUDE) 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
-	{ $(INSTALL_PRELUDE) cat $<; } > tmpi.texi
-	$(MAKEINFO) --plaintext --no-validate tmpi.texi | sed -e "s/\`\([^']*\)'/'\1'/g" > $@
-	rm -f tmpi.texi
+	$(MAKEINFO) --plaintext --no-validate $< | sed -e "s/\`\([^']*\)'/'\1'/g" > $@
 
 # 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
+	$(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)