diff options
Diffstat (limited to 'Makefile.am')
| -rw-r--r-- | Makefile.am | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/Makefile.am b/Makefile.am index b34d97ee..fcd5a169 100644 --- a/Makefile.am +++ b/Makefile.am @@ -41,8 +41,11 @@ pkgdata_DATA = $(srcdir)/INSTALL MAINTAINERCLEANFILES = $(srcdir)/INSTALL $(srcdir)/INSTALL: $(top_srcdir)/doc/install.texi - $(MAKEINFO) $(AM_MAKEINFOFLAGS) $(MAKEINFOFLAGS) --plaintext -o $@ \ - $(top_srcdir)/doc/install.texi + echo @firstparagraphindent insert \ + | cat - $(top_srcdir)/doc/install.texi > tmp.texi + $(MAKEINFO) $(AM_MAKEINFOFLAGS) $(MAKEINFOFLAGS) \ + --plaintext -o $@ tmp.texi + rm -f tmp.texi endif |