X-Git-Url: http://erislabs.net/gitweb/?a=blobdiff_plain;f=doc%2FMakefile;fp=doc%2FMakefile;h=8f8f8ea5833819657ba1cd1511ea1fa99ea7ce28;hb=f2bc915c89fb52f12ea4dc42f0945d884f314bc4;hp=b23fb641bfc3996b537071ec26363dfdb9929aa3;hpb=9b1a374d33160fc9f6701559930ddbdd5167b17d;p=gnulib.git

diff --git a/doc/Makefile b/doc/Makefile
index b23fb641b..8f8f8ea58 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -24,7 +24,9 @@ dvi: $(doc).dvi
 pdf: $(doc).pdf
 
 INSTALL: install.texi
-	-$(MAKEINFO) --plaintext --no-warn $< >$@
+	{ echo '@firstparagraphindent insert'; cat $<; } > tmp.texi
+	$(MAKEINFO) --plaintext --no-warn tmp.texi > $@
+	rm -f tmp.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)