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

diff --git a/doc/get-commands.pl b/doc/get-commands.pl
index 68a53b940d..a1bfd5c80f 100755
--- a/doc/get-commands.pl
+++ b/doc/get-commands.pl
@@ -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";