Generate THANKS automatically

[nncp.git] / supplementary_files.sh

diff --git a/news_and_install.sh b/supplementary_files.sh
similarity index 78%
rename from news_and_install.sh
rename to supplementary_files.sh
index 11adc355680d61a57decffbb384a3439445d1572..4ef489ca11f22423ed8fa89bee6e70894c34d35d 100755 (executable)
--- a/news_and_install.sh
+++ b/supplementary_files.sh
@@ -41,3 +41,17 @@ cat > $texi <<EOF
 EOF
 makeinfo --plaintext -o INSTALL $texi
 rm -f $texi
+
+texi=`mktemp`
+
+cat > $texi <<EOF
+\input texinfo
+@documentencoding UTF-8
+@settitle THANKS
+
+`cat doc/thanks.texi`
+
+@bye
+EOF
+makeinfo --plaintext -o THANKS $texi
+rm -f $texi