X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fget-commands.pl;fp=doc%2Fget-commands.pl;h=0000000000000000000000000000000000000000;hb=ea411b6c81ab5895051535a4730210a66d4be388;hp=7d5ac4534b5c215c625fb63323ef674e6bfd2090;hpb=68822d68b12db1175aa3749997a48d1d84212540;p=pspp

diff --git a/doc/get-commands.pl b/doc/get-commands.pl
deleted file mode 100755
index 7d5ac4534b..0000000000
--- a/doc/get-commands.pl
+++ /dev/null
@@ -1,25 +0,0 @@
-#!/usr/bin/perl
-# Creates Texinfo documentation from the source
-
-use strict;
-use warnings 'all';
-
-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";
-
-print "\@table \@asis\n";
-while (<INFO>)
-{
-    my ($command, $description)
-      = /^\s*UNIMPL_CMD\s*\(\s*"([^"]*)"\s*,\s*"([^"]*)"\)\s*$/
-	or next;
-    print "\@item \@cmd{$command}\n$description\n\n";
-}
-print "\@end table\n";
-
-print "\@c Local Variables:\n";
-print "\@c buffer-read-only: t\n";
-print "\@c End:\n";
-close(INFO);			# Close the file