Remove old manual.

2 files changed, 1 insertions, 22 deletions

diff --git a/doc/scripts/Makefile.am b/doc/scripts/Makefile.am
index 67b9fead24..a07d476aec 100644
--- a/doc/scripts/Makefile.am
+++ b/doc/scripts/Makefile.am
@@ -1 +1 @@
-EXTRA_DIST = gdoc sort1.pl
+EXTRA_DIST = gdoc sort2.pl
diff --git a/doc/scripts/sort1.pl b/doc/scripts/sort1.pl
deleted file mode 100755
index 9d31ed4e81..0000000000
--- a/doc/scripts/sort1.pl
+++ /dev/null
@@ -1,21 +0,0 @@
-#!/usr/bin/perl
-
-sub key_of_record {
-  local($record) = @_;
-
-  # Split record into lines:
-  my @lines = split /\n/, $record;
-
-  my ($i) = 1;
-  my ($key) = $lines[$i]; 
-
-  while( !($key =~ m/^\\label(.*)/) && ($i < 5)) { $i=$i+1; $key = $lines[$i]; }
-
-  return $key;
-}
-
-$/="\n\n\n";          # Records are separated by blank lines.
-@records = <>;  # Read in whole file, one record per array element.
-
-@records = sort { key_of_record($a) cmp key_of_record($b) } @records;
-print @records;