blob: 125833c99309b552d3a4846ae51d5f4cb68151b7 (
plain) (
tree)
|
|
# LaTeX2HTML 2002-2-1 (1.71)
# Associate internals original text with physical files.
$key = q/a:options/;
$ref_files{$key} = "$dir".q|node42.html|;
$noresave{$key} = "$nosave";
$key = q/sec:getown/;
$ref_files{$key} = "$dir".q|node23.html|;
$noresave{$key} = "$nosave";
$key = q/sec:nodupes/;
$ref_files{$key} = "$dir".q|node21.html|;
$noresave{$key} = "$nosave";
$key = q/sec:unsubscribe/;
$ref_files{$key} = "$dir".q|node14.html|;
$noresave{$key} = "$nosave";
$key = q/sec:web/;
$ref_files{$key} = "$dir".q|node9.html|;
$noresave{$key} = "$nosave";
$key = q/sec:sometopic/;
$ref_files{$key} = "$dir".q|node31.html|;
$noresave{$key} = "$nosave";
$key = q/sec:global/;
$ref_files{$key} = "$dir".q|node34.html|;
$noresave{$key} = "$nosave";
$key = q/sec:nomail/;
$ref_files{$key} = "$dir".q|node20.html|;
$noresave{$key} = "$nosave";
$key = q/about/;
$ref_files{$key} = "$dir".q|node43.html|;
$noresave{$key} = "$nosave";
$key = q/sec:topics/;
$ref_files{$key} = "$dir".q|node29.html|;
$noresave{$key} = "$nosave";
$key = q/sec:nolist/;
$ref_files{$key} = "$dir".q|node37.html|;
$noresave{$key} = "$nosave";
$key = q/sec:password/;
$ref_files{$key} = "$dir".q|node15.html|;
$noresave{$key} = "$nosave";
$key = q/sec:subscribe/;
$ref_files{$key} = "$dir".q|node13.html|;
$noresave{$key} = "$nosave";
$key = q/sec:MIME/;
$ref_files{$key} = "$dir".q|node28.html|;
$noresave{$key} = "$nosave";
$key = q/sec:getack/;
$ref_files{$key} = "$dir".q|node24.html|;
$noresave{$key} = "$nosave";
$key = q/sec:digest/;
$ref_files{$key} = "$dir".q|node27.html|;
$noresave{$key} = "$nosave";
$key = q/sec:email/;
$ref_files{$key} = "$dir".q|node10.html|;
$noresave{$key} = "$nosave";
$key = q/front/;
$ref_files{$key} = "$dir".q|node1.html|;
$noresave{$key} = "$nosave";
$key = q/sec:human/;
$ref_files{$key} = "$dir".q|node11.html|;
$noresave{$key} = "$nosave";
$key = q/a:commands/;
$ref_files{$key} = "$dir".q|node41.html|;
$noresave{$key} = "$nosave";
$key = q/sec:posttopic/;
$ref_files{$key} = "$dir".q|node30.html|;
$noresave{$key} = "$nosave";
$key = q/sec:changename/;
$ref_files{$key} = "$dir".q|node35.html|;
$noresave{$key} = "$nosave";
$key = q/sec:changeaddress/;
$ref_files{$key} = "$dir".q|node22.html|;
$noresave{$key} = "$nosave";
$key = q/sec:notopic/;
$ref_files{$key} = "$dir".q|node32.html|;
$noresave{$key} = "$nosave";
$key = q/contents/;
$ref_files{$key} = "$dir".q|node2.html|;
$noresave{$key} = "$nosave";
$key = q/sec:getpassword/;
$ref_files{$key} = "$dir".q|node16.html|;
$noresave{$key} = "$nosave";
$key = q/sec:antispam/;
$ref_files{$key} = "$dir".q|node40.html|;
$noresave{$key} = "$nosave";
1;
|