FAQ

[pygost.git] / maketxts.sh

diff --git a/maketxts.sh b/maketxts.sh
index b55ce816d73e4a6e1c5e62aef1deabdb95ba0202..4cc132dde386e99bacf5a0b7d0cec64f6caf0c3d 100755 (executable)
--- a/maketxts.sh
+++ b/maketxts.sh
@@ -29,6 +29,15 @@ cat > $texi <<EOF
 EOF
 makeinfo --plaintext -o INSTALL $texi
 
+cat > $texi <<EOF
+\input texinfo
+@documentencoding UTF-8
+@settitle FAQ
+@include faq.texi
+@bye
+EOF
+makeinfo --plaintext -o FAQ $texi
+
 rm -f $texi
 
 git checkout download.texi install.texi