# LaTeX2HTML 96.1 (Feb 5, 1996)
# Associate labels original text with physical files.

$key = q/secman/;
$external_labels{$key} = 'node5.html'; 
$key = q/styles/;
$external_labels{$key} = 'node8.html'; 
$key = q/Segmentation/;
$external_labels{$key} = 'node18.html'; 
$key = q/seccond/;
$external_labels{$key} = 'node41.html'; 
$key = q/crossrefs/;
$external_labels{$key} = 'node17.html'; 
$key = q/ImageMaps/;
$external_labels{$key} = 'node29.html'; 
$key = q/seclatexonly/;
$external_labels{$key} = 'node14.html'; 
$key = q/internat/;
$external_labels{$key} = 'node24.html'; 
$key = q/external_cross/;
$external_labels{$key} = 'node16.html'; 
$key = q/special/;
$external_labels{$key} = 'node11.html'; 
$key = q/perl/;
$external_labels{$key} = 'node47.html'; 
$key = q/secsty/;
$external_labels{$key} = 'node8.html'; 
$key = q/options/;
$external_labels{$key} = 'node6.html'; 
$key = q/eqdemo/;
$external_labels{$key} = 'node27.html'; 
$key = q/htmlsty/;
$external_labels{$key} = 'node47.html'; 
$key = q/navoptions/;
$external_labels{$key} = 'node6.html'; 
$key = q/asciimode/;
$external_labels{$key} = 'node6.html'; 
$key = q/prefix/;
$external_labels{$key} = 'node6.html'; 
$key = q/hyperized/;
$external_labels{$key} = 'node15.html'; 
$key = q/secnavpanel/;
$external_labels{$key} = 'node21.html'; 
$key = q/figexample/;
$external_labels{$key} = 'node27.html'; 
$key = q/internallabels/;
$external_labels{$key} = 'node16.html'; 
$key = q/dvips/;
$external_labels{$key} = 'node47.html'; 
$key = q/pass/;
$external_labels{$key} = 'node10.html'; 
$key = q/imgcon/;
$external_labels{$key} = 'node25.html'; 
$key = q/tab/;
$external_labels{$key} = 'node27.html'; 
$key = q/recycling/;
$external_labels{$key} = 'node28.html'; 
$key = q/pagenolatex/;
$external_labels{$key} = 'node6.html'; 
$key = q/htmlimage/;
$external_labels{$key} = 'node25.html'; 
$key = q/external/;
$external_labels{$key} = 'node25.html'; 
$key = q/autoprefix/;
$external_labels{$key} = 'node34.html'; 
$key = q/externallabels/;
$external_labels{$key} = 'node16.html'; 
$key = q/thumbnail/;
$external_labels{$key} = 'node25.html'; 
$key = q/secextend/;
$external_labels{$key} = 'node7.html'; 
$key = q/versions/;
$external_labels{$key} = 'node23.html'; 
$key = q/listExample/;
$external_labels{$key} = 'node6.html'; 
$key = q/sechyper/;
$external_labels{$key} = 'node12.html'; 
$key = q/segments/;
$external_labels{$key} = 'node18.html'; 

1;

