From 7c98233e017934ddce766f741f00848a63e90771 Mon Sep 17 00:00:00 2001 From: Sergey Matveev Date: Sun, 30 Apr 2017 16:56:52 +0300 Subject: [PATCH] Explicit NEWS documentation node creation --- supplementary_files.sh | 3 +++ 1 file changed, 3 insertions(+) diff --git a/supplementary_files.sh b/supplementary_files.sh index 4ef489c..5fce6c1 100755 --- a/supplementary_files.sh +++ b/supplementary_files.sh @@ -7,6 +7,9 @@ cat > $texi <