diff options
Diffstat (limited to 'Docs/Support/generate-text-files.pl')
-rwxr-xr-x | Docs/Support/generate-text-files.pl | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/Docs/Support/generate-text-files.pl b/Docs/Support/generate-text-files.pl index 570e579d926..6470baaa6e9 100755 --- a/Docs/Support/generate-text-files.pl +++ b/Docs/Support/generate-text-files.pl @@ -1,11 +1,11 @@ -#!/my/gnu/bin/perl -w -*- perl -*- +#!/usr/bin/perl -w -*- perl -*- # Generate text files from top directory from the manual. $from = shift(@ARGV); $fnode = shift(@ARGV); $tnode = shift(@ARGV); -open(IN, "$from") || die; +open(IN, "$from") || die "Cannot open $from: $!"; $in = 0; @@ -19,7 +19,7 @@ while (<IN>) } elsif (/^File: mysql.info/ || (/^/)) { - # Just Skip node begginigs + # Just Skip node beginnings } else { @@ -38,3 +38,6 @@ while (<IN>) } close(IN); + +die "Could not find node \"$tnode\"" if ($in == 1); +exit 0; |