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 |
# | User | Rev | Content |
---|---|---|---|
1 | pippijn | 1.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 |