X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fget-commands.pl;h=7b6b2b581db9d2e2e3e7596f8ae7e6e68871c7ad;hb=85cef9b9391f1aaf4b27bd90a02f8ce5daf004ee;hp=c5cd163192da7cc1754fa1587eec055b99bdf011;hpb=69e440eca02459a1c44a33d5bf5438dfbe56979d;p=pspp-builds.git

diff --git a/doc/get-commands.pl b/doc/get-commands.pl
index c5cd1631..7b6b2b58 100755
--- a/doc/get-commands.pl
+++ b/doc/get-commands.pl
@@ -1,28 +1,32 @@
-
-#
+#!/usr/bin/perl
 # Creates Texinfo documentation from the source 
 
 $file = $ARGV[0]; 
 open(INFO, $file) || die "Cannot open \"$file\"\n" ;	
+print "\@c Generated from $file by get-commands.pl\n";
+print "\@c Do not modify!\n\n";
+
 print "\@table \@asis\n";
 while ($line = <INFO>)
 {
-	if ( $line =~ /^UNIMPL/ ) 
-	{
-		@fields = split(/,/,$line); 
-		$_ = $fields[0];
-		s/^UNIMPL//;
-		s/ *\(\"// ;
-		s/\"//;
-		$command = $_;
-		$_=$fields[5];
-		s/\"//;
-		s/\"\)//;
-		s/^ *//;
-		chomp;
-		$description = $_;
-		print "\@item $command\n$description\n\n";
-	}
+    if ( $line =~ /^UNIMPL_CMD/ ) 
+    {
+	@fields = split(/,/,$line); 
+	$_ = $fields[0];
+	s/^UNIMPL_CMD//;
+	s/ *\(\"// ;
+	s/\"//;
+	$command = $_;
+	$_=$fields[1];
+	s/^ *\"//;
+	s/\"\)//;
+	chomp;
+	$description = $_;
+	print "\@item $command\n$description\n\n";
+    }
 }
 print "\@end table\n";
+
+print "\@c Local Variables:\n";
+print "\@c buffer-read-only: t\n";
 close(INFO);			# Close the file