| Revision: | 1.1 |
| Committed: | Thu Sep 7 21:43:00 2006 UTC (17 years, 9 months ago) by pippijn |
| Content type: | text/plain |
| Branch: | MAIN |
| CVS Tags: | rel-2_82, rel-2_81, rel-2_80, rel-3_1, rel-3_0, rel-2_6, rel-2_7, rel-2_4, rel-2_5, rel-2_2, rel-2_3, rel-2_0, rel-2_1, rel-2_72, rel-2_73, rel-2_71, rel-2_76, rel-2_77, rel-2_74, rel-2_75, rel-2_54, rel-2_55, rel-2_56, rel-2_79, rel-2_52, rel-2_53, rel-2_32, rel-2_90, rel-2_92, rel-2_93, rel-2_78, rel-2_61, rel-2_43, rel-2_42, rel-2_41, HEAD |
| Log Message: | Moved documents to doc/historic |
| # | Content |
|---|---|
| 1 | #!/usr/bin/perl |
| 2 | |
| 3 | # Usefull for making an index laTex file from *.idx file |
| 4 | |
| 5 | if ( $#ARGV != 0 ) { |
| 6 | print "Usage: $0 <idxfilename>\n"; |
| 7 | exit 0; |
| 8 | } |
| 9 | |
| 10 | $idxfile=$ARGV[0]; |
| 11 | |
| 12 | |
| 13 | open(IN,"<$idxfile") || die("Can not open $idxfile"); |
| 14 | |
| 15 | while(<IN>) { |
| 16 | chomp; |
| 17 | s/}//g; |
| 18 | ($junk, $idname, $page) = split /{/; |
| 19 | $idname =~ s#^\\##; |
| 20 | if ($index{$idname} eq "") { |
| 21 | $index{$idname}="$page"; |
| 22 | } |
| 23 | elsif ($index{$idname} ne "$page" && ($index{$idname} !~ / $page/)) { |
| 24 | $index{$idname}.=" $page"; |
| 25 | } |
| 26 | } |
| 27 | close(IN); |
| 28 | |
| 29 | print "\\begin{theindex}\n"; |
| 30 | foreach $i (sort(keys %index)) { |
| 31 | print "\\item $i $index{$i}\n"; |
| 32 | } |
| 33 | print "\\end{theindex}\n"; |
| 34 |