Revision: | 1.1 |
Committed: | Thu Sep 7 21:43:00 2006 UTC (17 years, 10 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 |