# LaTeX2HTML 96.1 (Feb 5, 1996) # Associate labels original text with physical files. $key = q/stad_traj/; $external_labels{$key} = 'billiard.html'; 1;