EOF
makeinfo --plaintext -o NEWS.RU $texi
-rm -f $texi
-
cat > $texi <<EOF
\input texinfo
@documentencoding UTF-8
@bye
EOF
makeinfo --plaintext -o INSTALL $texi
-rm -f $texi
cat > $texi <<EOF
\input texinfo
@bye
EOF
makeinfo --plaintext -o THANKS $texi
+
rm -f $texi
########################################################################