# LaTeX2HTML 98.1p1 release (March 2nd, 1998) # Associate labels original text with physical files. $key = q/cite_halmos/; $external_labels{$key} = "$URL/" . q|node7.html|; $noresave{$key} = "$nosave"; $key = q/count/; $external_labels{$key} = "$URL/" . q|node2.html|; $noresave{$key} = "$nosave"; $key = q/another/; $external_labels{$key} = "$URL/" . q|node3.html|; $noresave{$key} = "$nosave"; $key = q/refine/; $external_labels{$key} = "$URL/" . q|node4.html|; $noresave{$key} = "$nosave"; $key = q/characterize/; $external_labels{$key} = "$URL/" . q|node2.html|; $noresave{$key} = "$nosave"; 1;