changeset 21086:57cb5cd7e8eb

maint: Preface warnings from munge-texi.pl with "warning:" * munge-texi.pl: Preface warnings to stderr with "warning:" so they can be grep'ed for. * gui.txi: Delete @DOCSTRING(prefdir) as function is now private.
author Rik <rik@octave.org>
date Sat, 16 Jan 2016 17:46:09 -0800
parents 8fbd30e3f2e9
children bc67eb206123
files doc/interpreter/gui.txi doc/interpreter/munge-texi.pl
diffstat 2 files changed, 2 insertions(+), 4 deletions(-) [+]
line wrap: on
line diff
--- a/doc/interpreter/gui.txi	Sat Jan 16 17:43:04 2016 -0800
+++ b/doc/interpreter/gui.txi	Sat Jan 16 17:46:09 2016 -0800
@@ -121,7 +121,5 @@
 
 @DOCSTRING(ispref)
 
-@DOCSTRING(prefdir)
-
 @DOCSTRING(preferences)
 
--- a/doc/interpreter/munge-texi.pl	Sat Jan 16 17:43:04 2016 -0800
+++ b/doc/interpreter/munge-texi.pl	Sat Jan 16 17:46:09 2016 -0800
@@ -31,7 +31,7 @@
     $docstring = extract_docstring ();
     if ($help_text{$symbol})
     {
-      warn "ignoring duplicate entry for $symbol\n";
+      warn "$DOCSTRING_file:$.:warning: ignoring duplicate entry for $symbol\n";
     }
     else
     {
@@ -56,7 +56,7 @@
     $docstring = $help_text{$func};
     if (! $docstring)
     {
-      warn "no docstring entry for $func\n";
+      warn "warning: no DOCSTRING entry for $func\n";
       next TXI_LINE;
     }