File: create_index

package info (click to toggle)
maxima 5.47.0-9
  • links: PTS
  • area: main
  • in suites: forky, sid
  • size: 193,104 kB
  • sloc: lisp: 434,678; fortran: 14,665; tcl: 10,990; sh: 4,577; makefile: 2,763; ansic: 447; java: 328; python: 262; perl: 201; xml: 60; awk: 28; sed: 15; javascript: 2
file content (63 lines) | stat: -rwxr-xr-x 1,521 bytes parent folder | download | duplicates (3)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
#!/usr/bin/env perl

#
# Creating contents.hhc ...
#

use warnings;

if(!defined $ARGV[0]){
    die "create_index: No name of the file containing the index was Specified!\n";
}

open(CONTENTS, ">./contents.hhc") || die "Can't create contents.hhc";
open(MAXIMA_TOC, $ARGV[0]) || die "Can't open " . $ARGV[0];

while (<MAXIMA_TOC>)  {

    if ( m#.*<ul class="no-bullet"># ) {
        print CONTENTS "<ul>\n";
    }

    if ( m#.*</ul># ) {
        print CONTENTS "</ul>\n";
    } 

    if ( m#.*?<li><a\sid="(.*?)"\shref="(.*?)">.*?\s(.*?)</a># ) {
        print CONTENTS "<li><object type=\"text/sitemap\">\n";
        print CONTENTS "   <param name=\"Local\" value=\"$2\">\n";
        print CONTENTS "   <param name=\"Name\" value=\"$3\"></object>\n";
    } 
}

close(MAXIMA_TOC);
close(CONTENTS);

#
# Creating index.hhk ...
#

open(INDEX, ">./index.hhk") || die "Can't create index.hhk";

$i = 1;
%index_content = ();

while (open(MAXIMA_N,"./maxima_$i.html")) {
    while (<MAXIMA_N>)  {

        if ( m#.*?"top"><a\shref="maxima_(.*?)"><code>(.*?)</code></a># ||
             m#.*?"top"><a\shref="maxima_(.*?)">(.*?)</a># ) {
            unless ( $index_content{$2} ) {
                print INDEX "<li><object type=\"text/sitemap\">\n";
                print INDEX "   <param name=\"Local\" value=\"maxima_$1\">\n";
                print INDEX "   <param name=\"Name\" value=\"$2\"></object>\n";
                $index_content{$2} = 1;
            }
        }

    }
    close(MAXIMA_N);
    $i++;
}

close(INDEX);