Explicit NEWS documentation node creation

diff --git a/supplementary_files.sh b/supplementary_files.sh
index 4ef489ca11f22423ed8fa89bee6e70894c34d35d..5fce6c15dcf23ee7ca6486e109628e65e0d6b050 100755 (executable)
--- a/supplementary_files.sh
+++ b/supplementary_files.sh
@@ -7,6 +7,9 @@ cat > $texi <<EOF
 @documentencoding UTF-8
 @settitle NEWS
 
+@node News
+@unnumbered News
+
 `sed -n '5,$p' < doc/news.texi`
 
 @bye