home *** CD-ROM | disk | FTP | other *** search
/ Computer Club Elmshorn Atari PD / CCE_PD.iso / pc / 0600 / CCE_0603.ZIP / CCE_0603.PD / SCRIPT / SCRIPT.TEX / labels.pl < prev    next >
Text File  |  1993-01-10  |  1KB  |  46 lines

  1. # LaTeX2HTML 2022 (Released January 1, 2022)
  2. # Associate labels original text with physical files.
  3.  
  4.  
  5. $key = q/ADR/;
  6. $external_labels{$key} = "$URL/" . q|node39_ct.html|; 
  7. $noresave{$key} = "$nosave";
  8.  
  9. $key = q/AREASET/;
  10. $external_labels{$key} = "$URL/" . q|node14_ct.html|; 
  11. $noresave{$key} = "$nosave";
  12.  
  13. $key = q/DIV1/;
  14. $external_labels{$key} = "$URL/" . q|node13_ct.html|; 
  15. $noresave{$key} = "$nosave";
  16.  
  17. $key = q/DIV2/;
  18. $external_labels{$key} = "$URL/" . q|node13_ct.html|; 
  19. $noresave{$key} = "$nosave";
  20.  
  21. $key = q/HEADSEPLINE/;
  22. $external_labels{$key} = "$URL/" . q|node21_ct.html|; 
  23. $noresave{$key} = "$nosave";
  24.  
  25. $key = q/PAGESTYLES/;
  26. $external_labels{$key} = "$URL/" . q|node38_ct.html|; 
  27. $noresave{$key} = "$nosave";
  28.  
  29. $key = q/PRIVAT/;
  30. $external_labels{$key} = "$URL/" . q|node39_ct.html|; 
  31. $noresave{$key} = "$nosave";
  32.  
  33. $key = q/VARIABLEN/;
  34. $external_labels{$key} = "$URL/" . q|node41_ct.html|; 
  35. $noresave{$key} = "$nosave";
  36.  
  37. 1;
  38.  
  39.  
  40. # LaTeX2HTML 2022 (Released January 1, 2022)
  41. # labels from external_latex_labels array.
  42.  
  43.  
  44. 1;
  45.  
  46.