Fresh Fonts 1/freshfonts1.bin/programs/amiga/pastex/texdoc/mf-for-beginners.tex/internals.pl

Text File | 1993-08-27 | 2KB | 99 lines

# LaTeX2HTML 2022 (Released January 1, 2022)
# Associate internals original text with physical files.


$key = q/sec:base/;
$ref_files{$key} = "$dir".q|node12_ct.html|;
$noresave{$key} = "$nosave";

$key = q/sec:fonts/;
$ref_files{$key} = "$dir".q|node17_ct.html|;
$noresave{$key} = "$nosave";

$key = q/sec:limit/;
$ref_files{$key} = "$dir".q|node26_ct.html|;
$noresave{$key} = "$nosave";

$key = q/sec:proof/;
$ref_files{$key} = "$dir".q|node28_ct.html|;
$noresave{$key} = "$nosave";

$key = q/sec:typing/;
$ref_files{$key} = "$dir".q|node8_ct.html|;
$noresave{$key} = "$nosave";

$key = q/sub:another/;
$ref_files{$key} = "$dir".q|node11_ct.html|;
$noresave{$key} = "$nosave";

$key = q/sub:cmdline/;
$ref_files{$key} = "$dir".q|node10_ct.html|;
$noresave{$key} = "$nosave";

$key = q/sub:env/;
$ref_files{$key} = "$dir".q|node25_ct.html|;
$noresave{$key} = "$nosave";

$key = q/sub:finding/;
$ref_files{$key} = "$dir".q|node30_ct.html|;
$noresave{$key} = "$nosave";

$key = q/sub:gftopk/;
$ref_files{$key} = "$dir".q|node23_ct.html|;
$noresave{$key} = "$nosave";

$key = q/sub:link/;
$ref_files{$key} = "$dir".q|node15_ct.html|;
$noresave{$key} = "$nosave";

$key = q/sub:loading/;
$ref_files{$key} = "$dir".q|node14_ct.html|;
$noresave{$key} = "$nosave";

$key = q/sub:localfont/;
$ref_files{$key} = "$dir".q|node19_ct.html|;
$noresave{$key} = "$nosave";

$key = q/sub:mag/;
$ref_files{$key} = "$dir".q|node22_ct.html|;
$noresave{$key} = "$nosave";

$key = q/sub:maketexpk/;
$ref_files{$key} = "$dir".q|node31_ct.html|;
$noresave{$key} = "$nosave";

$key = q/sub:modes/;
$ref_files{$key} = "$dir".q|node16_ct.html|;
$noresave{$key} = "$nosave";

$key = q/sub:naming/;
$ref_files{$key} = "$dir".q|node20_ct.html|;
$noresave{$key} = "$nosave";

$key = q/sub:plain/;
$ref_files{$key} = "$dir".q|node13_ct.html|;
$noresave{$key} = "$nosave";

$key = q/sub:proof/;
$ref_files{$key} = "$dir".q|node18_ct.html|;
$noresave{$key} = "$nosave";

$key = q/sub:starstar/;
$ref_files{$key} = "$dir".q|node9_ct.html|;
$noresave{$key} = "$nosave";

$key = q/sub:store/;
$ref_files{$key} = "$dir".q|node24_ct.html|;
$noresave{$key} = "$nosave";

$key = q/sub:tex/;
$ref_files{$key} = "$dir".q|node21_ct.html|;
$noresave{$key} = "$nosave";

$key = q/sub:typo/;
$ref_files{$key} = "$dir".q|node29_ct.html|;
$noresave{$key} = "$nosave";

1;