# LaTeX2HTML 95.1 (Fri Jan 20 1995) # Associate symbolic labels with physical files. $external_labels{"depontej1"} ="$URL/depontej.html"; $external_labels{"depontej2"} ="$URL/depontej.html"; $external_labels{"depontej3"} ="$URL/depontej.html"; 1;