perl -i -p -e "s/.verbatiminclude .*PUBKEY.asc/Look in PUBKEY.asc file./" install.texi
mkinfo --output INSTALL $texi
+cat > $texi <<EOF
+\input texinfo
+@documentencoding UTF-8
+@settitle THANKS
+`cat doc/thanks.texi`
+@bye
+EOF
+mkinfo --output THANKS $texi
+
rm $texi
redo goredo.info
-mv goredo.info NEWS INSTALL ..
+mv goredo.info INSTALL NEWS THANKS ..
cd ..
########################################################################