home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
Creative Computers
/
CreativeComputers.iso
/
shareware
/
text
/
dvi_3.62
/
manual
/
dviman.lha
/
driver.tex
/
labels.pl
< prev
next >
Wrap
Text File
|
1994-02-15
|
10KB
|
406 lines
# LaTeX2HTML 2022 (Released January 1, 2022)
# Associate labels original text with physical files.
$key = q/dvi_bes/;
$external_labels{$key} = "$URL/" . q|node33_ct.html|;
$noresave{$key} = "$nosave";
$key = q/dviami/;
$external_labels{$key} = "$URL/" . q|node24_ct.html|;
$noresave{$key} = "$nosave";
$key = q/dviamiscr/;
$external_labels{$key} = "$URL/" . q|node26_ct.html|;
$noresave{$key} = "$nosave";
$key = q/dvilw/;
$external_labels{$key} = "$URL/" . q|node3_ct.html|;
$noresave{$key} = "$nosave";
$key = q/dvilw_aw/;
$external_labels{$key} = "$URL/" . q|node6_ct.html|;
$noresave{$key} = "$nosave";
$key = q/ebild/;
$external_labels{$key} = "$URL/" . q|node79_ct.html|;
$noresave{$key} = "$nosave";
$key = q/kdover/;
$external_labels{$key} = "$URL/" . q|node29_ct.html|;
$noresave{$key} = "$nosave";
$key = q/la101/;
$external_labels{$key} = "$URL/" . q|node58_ct.html|;
$noresave{$key} = "$nosave";
$key = q/la10b/;
$external_labels{$key} = "$URL/" . q|node96_ct.html|;
$noresave{$key} = "$nosave";
$key = q/la11/;
$external_labels{$key} = "$URL/" . q|node87_ct.html|;
$noresave{$key} = "$nosave";
$key = q/la12/;
$external_labels{$key} = "$URL/" . q|node87_ct.html|;
$noresave{$key} = "$nosave";
$key = q/la13/;
$external_labels{$key} = "$URL/" . q|node87_ct.html|;
$noresave{$key} = "$nosave";
$key = q/la14/;
$external_labels{$key} = "$URL/" . q|node88_ct.html|;
$noresave{$key} = "$nosave";
$key = q/la15/;
$external_labels{$key} = "$URL/" . q|node88_ct.html|;
$noresave{$key} = "$nosave";
$key = q/la16/;
$external_labels{$key} = "$URL/" . q|node88_ct.html|;
$noresave{$key} = "$nosave";
$key = q/la17/;
$external_labels{$key} = "$URL/" . q|node89_ct.html|;
$noresave{$key} = "$nosave";
$key = q/la18/;
$external_labels{$key} = "$URL/" . q|node89_ct.html|;
$noresave{$key} = "$nosave";
$key = q/la19/;
$external_labels{$key} = "$URL/" . q|node90_ct.html|;
$noresave{$key} = "$nosave";
$key = q/la7/;
$external_labels{$key} = "$URL/" . q|node86_ct.html|;
$noresave{$key} = "$nosave";
$key = q/la8/;
$external_labels{$key} = "$URL/" . q|node88_ct.html|;
$noresave{$key} = "$nosave";
$key = q/la9/;
$external_labels{$key} = "$URL/" . q|node95_ct.html|;
$noresave{$key} = "$nosave";
$key = q/laamiga/;
$external_labels{$key} = "$URL/" . q|node24_ct.html|;
$noresave{$key} = "$nosave";
$key = q/lafontnames/;
$external_labels{$key} = "$URL/" . q|node37_ct.html|;
$noresave{$key} = "$nosave";
$key = q/lagemvers/;
$external_labels{$key} = "$URL/" . q|node10_ct.html|;
$noresave{$key} = "$nosave";
$key = q/lagratut/;
$external_labels{$key} = "$URL/" . q|node82_ct.html|;
$noresave{$key} = "$nosave";
$key = q/lamotif/;
$external_labels{$key} = "$URL/" . q|node18_ct.html|;
$noresave{$key} = "$nosave";
$key = q/larrow/;
$external_labels{$key} = "$URL/" . q|node97_ct.html|;
$noresave{$key} = "$nosave";
$key = q/laweiter/;
$external_labels{$key} = "$URL/" . q|node100_ct.html|;
$noresave{$key} = "$nosave";
$key = q/lbildmac/;
$external_labels{$key} = "$URL/" . q|node80_ct.html|;
$noresave{$key} = "$nosave";
$key = q/ldis/;
$external_labels{$key} = "$URL/" . q|node99_ct.html|;
$noresave{$key} = "$nosave";
$key = q/ldisplay/;
$external_labels{$key} = "$URL/" . q|node99_ct.html|;
$noresave{$key} = "$nosave";
$key = q/ldvi/;
$external_labels{$key} = "$URL/" . q|node10_ct.html|;
$noresave{$key} = "$nosave";
$key = q/lepsf/;
$external_labels{$key} = "$URL/" . q|node81_ct.html|;
$noresave{$key} = "$nosave";
$key = q/lfilegr/;
$external_labels{$key} = "$URL/" . q|node98_ct.html|;
$noresave{$key} = "$nosave";
$key = q/lfiletex/;
$external_labels{$key} = "$URL/" . q|node98_ct.html|;
$noresave{$key} = "$nosave";
$key = q/lgrafx/;
$external_labels{$key} = "$URL/" . q|node31_ct.html|;
$noresave{$key} = "$nosave";
$key = q/lgraph/;
$external_labels{$key} = "$URL/" . q|node79_ct.html|;
$noresave{$key} = "$nosave";
$key = q/lkofu/;
$external_labels{$key} = "$URL/" . q|node91_ct.html|;
$noresave{$key} = "$nosave";
$key = q/lkurv/;
$external_labels{$key} = "$URL/" . q|node92_ct.html|;
$noresave{$key} = "$nosave";
$key = q/llines/;
$external_labels{$key} = "$URL/" . q|node97_ct.html|;
$noresave{$key} = "$nosave";
$key = q/llitps/;
$external_labels{$key} = "$URL/" . q|node49_ct.html|;
$noresave{$key} = "$nosave";
$key = q/lmacro/;
$external_labels{$key} = "$URL/" . q|node78_ct.html|;
$noresave{$key} = "$nosave";
$key = q/lmulsin/;
$external_labels{$key} = "$URL/" . q|node93_ct.html|;
$noresave{$key} = "$nosave";
$key = q/lopts/;
$external_labels{$key} = "$URL/" . q|node5_ct.html|;
$noresave{$key} = "$nosave";
$key = q/lps2/;
$external_labels{$key} = "$URL/" . q|node51_ct.html|;
$noresave{$key} = "$nosave";
$key = q/ltrps/;
$external_labels{$key} = "$URL/" . q|node90_ct.html|;
$noresave{$key} = "$nosave";
$key = q/luni/;
$external_labels{$key} = "$URL/" . q|node90_ct.html|;
$noresave{$key} = "$nosave";
$key = q/lx11/;
$external_labels{$key} = "$URL/" . q|node18_ct.html|;
$noresave{$key} = "$nosave";
$key = q/optamiga/;
$external_labels{$key} = "$URL/" . q|node24_ct.html|;
$noresave{$key} = "$nosave";
1;
# LaTeX2HTML 2022 (Released January 1, 2022)
# labels from external_latex_labels array.
$key = q/dvi_bes/;
$external_latex_labels{$key} = q|2.6|;
$noresave{$key} = "$nosave";
$key = q/dviami/;
$external_latex_labels{$key} = q|2.3|;
$noresave{$key} = "$nosave";
$key = q/dviamiscr/;
$external_latex_labels{$key} = q|2.3.2|;
$noresave{$key} = "$nosave";
$key = q/dvilw/;
$external_latex_labels{$key} = q|1|;
$noresave{$key} = "$nosave";
$key = q/dvilw_aw/;
$external_latex_labels{$key} = q|1.3|;
$noresave{$key} = "$nosave";
$key = q/ebild/;
$external_latex_labels{$key} = q|4.4|;
$noresave{$key} = "$nosave";
$key = q/kdover/;
$external_latex_labels{$key} = q|2.4|;
$noresave{$key} = "$nosave";
$key = q/la101/;
$external_latex_labels{$key} = q|4.3|;
$noresave{$key} = "$nosave";
$key = q/la10b/;
$external_latex_labels{$key} = q|A.18|;
$noresave{$key} = "$nosave";
$key = q/la11/;
$external_latex_labels{$key} = q|A.2|;
$noresave{$key} = "$nosave";
$key = q/la12/;
$external_latex_labels{$key} = q|A.3|;
$noresave{$key} = "$nosave";
$key = q/la13/;
$external_latex_labels{$key} = q|A.4|;
$noresave{$key} = "$nosave";
$key = q/la14/;
$external_latex_labels{$key} = q|A.6|;
$noresave{$key} = "$nosave";
$key = q/la15/;
$external_latex_labels{$key} = q|A.7|;
$noresave{$key} = "$nosave";
$key = q/la16/;
$external_latex_labels{$key} = q|A.8|;
$noresave{$key} = "$nosave";
$key = q/la17/;
$external_latex_labels{$key} = q|A.9|;
$noresave{$key} = "$nosave";
$key = q/la18/;
$external_latex_labels{$key} = q|A.10|;
$noresave{$key} = "$nosave";
$key = q/la19/;
$external_latex_labels{$key} = q|A.11|;
$noresave{$key} = "$nosave";
$key = q/la7/;
$external_latex_labels{$key} = q|A.1|;
$noresave{$key} = "$nosave";
$key = q/la8/;
$external_latex_labels{$key} = q|A.5|;
$noresave{$key} = "$nosave";
$key = q/la9/;
$external_latex_labels{$key} = q|A.17|;
$noresave{$key} = "$nosave";
$key = q/laamiga/;
$external_latex_labels{$key} = q|2.3|;
$noresave{$key} = "$nosave";
$key = q/lafontnames/;
$external_latex_labels{$key} = q|3.2|;
$noresave{$key} = "$nosave";
$key = q/lagemvers/;
$external_latex_labels{$key} = q|2.1|;
$noresave{$key} = "$nosave";
$key = q/lagratut/;
$external_latex_labels{$key} = q|A|;
$noresave{$key} = "$nosave";
$key = q/lamotif/;
$external_latex_labels{$key} = q|2.2|;
$noresave{$key} = "$nosave";
$key = q/larrow/;
$external_latex_labels{$key} = q|A.20|;
$noresave{$key} = "$nosave";
$key = q/laweiter/;
$external_latex_labels{$key} = q|C|;
$noresave{$key} = "$nosave";
$key = q/lbildmac/;
$external_latex_labels{$key} = q|4.2.2|;
$noresave{$key} = "$nosave";
$key = q/ldis/;
$external_latex_labels{$key} = q|B.1|;
$noresave{$key} = "$nosave";
$key = q/ldisplay/;
$external_latex_labels{$key} = q|B|;
$noresave{$key} = "$nosave";
$key = q/ldvi/;
$external_latex_labels{$key} = q|2.1|;
$noresave{$key} = "$nosave";
$key = q/lepsf/;
$external_latex_labels{$key} = q|4.2.3|;
$noresave{$key} = "$nosave";
$key = q/lfilegr/;
$external_latex_labels{$key} = q|A.22|;
$noresave{$key} = "$nosave";
$key = q/lfiletex/;
$external_latex_labels{$key} = q|A.21|;
$noresave{$key} = "$nosave";
$key = q/lgrafx/;
$external_latex_labels{$key} = q|2.4|;
$noresave{$key} = "$nosave";
$key = q/lgraph/;
$external_latex_labels{$key} = q|4.2.1|;
$noresave{$key} = "$nosave";
$key = q/lkofu/;
$external_latex_labels{$key} = q|A.14|;
$noresave{$key} = "$nosave";
$key = q/lkurv/;
$external_latex_labels{$key} = q|A.15|;
$noresave{$key} = "$nosave";
$key = q/llines/;
$external_latex_labels{$key} = q|A.19|;
$noresave{$key} = "$nosave";
$key = q/llitps/;
$external_latex_labels{$key} = q|4.1|;
$noresave{$key} = "$nosave";
$key = q/lmacro/;
$external_latex_labels{$key} = q|4.2|;
$noresave{$key} = "$nosave";
$key = q/lmulsin/;
$external_latex_labels{$key} = q|A.16|;
$noresave{$key} = "$nosave";
$key = q/lopts/;
$external_latex_labels{$key} = q|1.2|;
$noresave{$key} = "$nosave";
$key = q/lps2/;
$external_latex_labels{$key} = q|4.2|;
$noresave{$key} = "$nosave";
$key = q/ltrps/;
$external_latex_labels{$key} = q|A.12|;
$noresave{$key} = "$nosave";
$key = q/luni/;
$external_latex_labels{$key} = q|A.13|;
$noresave{$key} = "$nosave";
$key = q/lx11/;
$external_latex_labels{$key} = q|2.2|;
$noresave{$key} = "$nosave";
$key = q/optamiga/;
$external_latex_labels{$key} = q|2.1|;
$noresave{$key} = "$nosave";
1;