diff options
| -rw-r--r-- | doc/scripts/Makefile.am | 2 | ||||
| -rwxr-xr-x | doc/scripts/cleanup-autogen.pl | 8 |
2 files changed, 9 insertions, 1 deletions
diff --git a/doc/scripts/Makefile.am b/doc/scripts/Makefile.am index e2b734e343..73e779064b 100644 --- a/doc/scripts/Makefile.am +++ b/doc/scripts/Makefile.am @@ -17,4 +17,4 @@ # along with this file; if not, write to the Free Software Foundation, # Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. -EXTRA_DIST = gdoc sort2.pl split-texi.pl +EXTRA_DIST = gdoc sort2.pl split-texi.pl cleanup-autogen.pl diff --git a/doc/scripts/cleanup-autogen.pl b/doc/scripts/cleanup-autogen.pl index 7d2d43a010..d7921950b4 100755 --- a/doc/scripts/cleanup-autogen.pl +++ b/doc/scripts/cleanup-autogen.pl @@ -23,6 +23,7 @@ eval '(exit $?0)' && eval 'exec perl -wS "$0" ${1+"$@"}' my $line; my $init = 0; my $menu = 0; +my $i = 0; while ($line = <>) { if ($line =~ /\@node/) { @@ -50,4 +51,11 @@ while ($line = <>) { } print $line; + $i++; } + +if ($i < 2) { + exit 1; +} + +exit 0; |