86 lines
1.9 KiB
Perl
86 lines
1.9 KiB
Perl
# LaTeX2HTML 2012 (1.2)
|
|
# Associate labels original text with physical files.
|
|
|
|
|
|
$key = q/affect_fix/;
|
|
$external_labels{$key} = "$URL/" . q|node11.html|;
|
|
$noresave{$key} = "$nosave";
|
|
|
|
$key = q/affect_any/;
|
|
$external_labels{$key} = "$URL/" . q|node12.html|;
|
|
$noresave{$key} = "$nosave";
|
|
|
|
$key = q/pattern_begin/;
|
|
$external_labels{$key} = "$URL/" . q|node14.html|;
|
|
$noresave{$key} = "$nosave";
|
|
|
|
$key = q/patwrite/;
|
|
$external_labels{$key} = "$URL/" . q|node6.html|;
|
|
$noresave{$key} = "$nosave";
|
|
|
|
$key = q/declar_interface/;
|
|
$external_labels{$key} = "$URL/" . q|node8.html|;
|
|
$noresave{$key} = "$nosave";
|
|
|
|
$key = q/declar/;
|
|
$external_labels{$key} = "$URL/" . q|node9.html|;
|
|
$noresave{$key} = "$nosave";
|
|
|
|
$key = q/addpat/;
|
|
$external_labels{$key} = "$URL/" . q|node13.html|;
|
|
$noresave{$key} = "$nosave";
|
|
|
|
$key = q/affect_int/;
|
|
$external_labels{$key} = "$URL/" . q|node10.html|;
|
|
$noresave{$key} = "$nosave";
|
|
|
|
$key = q/pattern_end/;
|
|
$external_labels{$key} = "$URL/" . q|node15.html|;
|
|
$noresave{$key} = "$nosave";
|
|
|
|
1;
|
|
|
|
|
|
# LaTeX2HTML 2012 (1.2)
|
|
# labels from external_latex_labels array.
|
|
|
|
|
|
$key = q/affect_fix/;
|
|
$external_latex_labels{$key} = q|3.6|;
|
|
$noresave{$key} = "$nosave";
|
|
|
|
$key = q/affect_any/;
|
|
$external_latex_labels{$key} = q|3.7|;
|
|
$noresave{$key} = "$nosave";
|
|
|
|
$key = q/pattern_begin/;
|
|
$external_latex_labels{$key} = q|3.9|;
|
|
$noresave{$key} = "$nosave";
|
|
|
|
$key = q/patwrite/;
|
|
$external_latex_labels{$key} = q|3.1|;
|
|
$noresave{$key} = "$nosave";
|
|
|
|
$key = q/declar_interface/;
|
|
$external_latex_labels{$key} = q|3.3|;
|
|
$noresave{$key} = "$nosave";
|
|
|
|
$key = q/declar/;
|
|
$external_latex_labels{$key} = q|3.4|;
|
|
$noresave{$key} = "$nosave";
|
|
|
|
$key = q/addpat/;
|
|
$external_latex_labels{$key} = q|3.8|;
|
|
$noresave{$key} = "$nosave";
|
|
|
|
$key = q/affect_int/;
|
|
$external_latex_labels{$key} = q|3.5|;
|
|
$noresave{$key} = "$nosave";
|
|
|
|
$key = q/pattern_end/;
|
|
$external_latex_labels{$key} = q|3.10|;
|
|
$noresave{$key} = "$nosave";
|
|
|
|
1;
|
|
|