File: labels.pl

package info (click to toggle)
texlive-doc 2009-2
  • links: PTS
  • area: main
  • in suites: squeeze
  • size: 192,004 kB
  • ctags: 4,774
  • sloc: perl: 12,760; xml: 11,870; makefile: 1,033; lisp: 394; sh: 229; awk: 205; java: 159; sed: 4
file content (21 lines) | stat: -rw-r--r-- 380 bytes parent folder | download | duplicates (4) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
 
# LaTeX2HTML 99.1 release (March 30, 1999)
# Associate labels original text with physical files.


$key = q/BIBLIO/;
$external_labels{$key} = "$URL/" . q|ex30.html|; 
$noresave{$key} = "$nosave";

1;


# LaTeX2HTML 99.1 release (March 30, 1999)
# labels from external_latex_labels array.


$key = q/BIBLIO/;
$external_latex_labels{$key} = q|2|; 
$noresave{$key} = "$nosave";

1;