X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fget-commands.pl;h=7d5ac4534b5c215c625fb63323ef674e6bfd2090;hb=60c545e6e958d868db3399a8989d37d8f9e0c131;hp=68a53b940d11c073adf750e54a08f797aeaa20dc;hpb=e72503eea0947434e8b12594aa4e227799a97b5e;p=pspp

diff --git a/doc/get-commands.pl b/doc/get-commands.pl
index 68a53b940d..7d5ac4534b 100755
--- a/doc/get-commands.pl
+++ b/doc/get-commands.pl
@@ -1,11 +1,11 @@
 #!/usr/bin/perl
-# Creates Texinfo documentation from the source 
+# Creates Texinfo documentation from the source
 
 use strict;
 use warnings 'all';
 
-my ($file) = $ARGV[0]; 
-open(INFO, $file) || die "Cannot open \"$file\"\n" ;	
+my ($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";
 
@@ -15,7 +15,7 @@ while (<INFO>)
     my ($command, $description)
       = /^\s*UNIMPL_CMD\s*\(\s*"([^"]*)"\s*,\s*"([^"]*)"\)\s*$/
 	or next;
-    print "\@item $command\n$description\n\n";
+    print "\@item \@cmd{$command}\n$description\n\n";
 }
 print "\@end table\n";