supplementary_files.sh

   1 #!/bin/sh
   2
   3 texi=`mktemp`
   4
   5 cat > $texi <<EOF
   6 \input texinfo
   7 @documentencoding UTF-8
   8 @settitle NEWS
   9
  10 @node News
  11 @unnumbered News
  12
  13 `sed -n '5,$p' < doc/news.texi`
  14
  15 @bye
  16 EOF
  17 makeinfo --plaintext -o NEWS $texi
  18
  19 cat > $texi <<EOF
  20 \input texinfo
  21 @documentencoding UTF-8
  22 @settitle NEWS.RU
  23
  24 @node Новости
  25 @unnumbered Новости
  26
  27 `sed -n '3,$p' < doc/news.ru.texi | sed 's/^@subsection/@section/'`
  28
  29 @bye
  30 EOF
  31 makeinfo --plaintext -o NEWS.RU $texi
  32
  33 rm -f $texi
  34
  35 texi=$(TMPDIR=doc mktemp)
  36 cat > $texi <<EOF
  37 \input texinfo
  38 @documentencoding UTF-8
  39 @settitle INSTALL
  40
  41 @include install.texi
  42
  43 @bye
  44 EOF
  45 makeinfo --plaintext -o INSTALL $texi
  46 rm -f $texi
  47
  48 texi=`mktemp`
  49
  50 cat > $texi <<EOF
  51 \input texinfo
  52 @documentencoding UTF-8
  53 @settitle THANKS
  54
  55 `cat doc/thanks.texi`
  56
  57 @bye
  58 EOF
  59 makeinfo --plaintext -o THANKS $texi
  60 rm -f $texi