news_and_install.sh

   1 #!/bin/sh
   2
   3 texi=`mktemp`
   4 cat > $texi <<EOF
   5 \input texinfo
   6 @documentencoding UTF-8
   7 @settitle NEWS
   8
   9 `cat doc/news.texi`
  10
  11 @bye
  12 EOF
  13 makeinfo --plaintext -o NEWS $texi
  14 rm -f $texi
  15
  16 texi=$(TMPDIR=doc mktemp)
  17 cat > $texi <<EOF
  18 \input texinfo
  19 @documentencoding UTF-8
  20 @settitle INSTALL
  21
  22 @include install.texi
  23
  24 @bye
  25 EOF
  26 makeinfo --plaintext -o INSTALL $texi
  27 rm -f $texi