news.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