home *** CD-ROM | disk | FTP | other *** search
/ ARM Club 3 / TheARMClub_PDCD3.iso / hensa / textprocess / armtex / texsrc1 / Src / tex / texfonts / map
Encoding:
Text File  |  1993-05-01  |  1.6 KB  |  43 lines
  1. % original texfonts.map -- define aliases for fontnames.
  2. % 
  3. % (If you change or delete `original' on the previous line, web2c won't
  4. % install its texfonts.map over this file.)
  5. % 
  6. % First column is real filename; second is alias; others are ignored.
  7. % Spaces and/or tabs separate columns.
  8. % Blank lines are ignored.
  9. % Comments (obviously) start with %.
  10. % 
  11. % Null bytes will confuse the programs, and a CR at the end of a line is
  12. % removed for DOS's sake, but any other characters will be considered
  13. % part of the text, and any length is ok.
  14. % 
  15. % If an alias here has an extension, it will match only those files with
  16. % that extension; otherwise, it will match anything with the same root,
  17. % regardless of extension.  For example, `foo.tfm' matches only
  18. % `foo.tfm'; but `foo' matches `foo.tfm', `foo.vf', `foo.300pk',
  19. % whatever.
  20. % 
  21. % Any existing file will be used in preference to a file that exists via
  22. % an alias.  For example, suppose you have a file `foo.tfm' and this
  23. % file defines `foo' as an alias for `bar'.  `foo.tfm' will be used, not
  24. % `bar.tfm'.
  25.  
  26. % These fonts have been named both `circle10' and `lcircle10'.  But
  27. % `lcirc10' would be better, anyway, as it's short enough for DOS.
  28. % Allow any of these variations to mean any of the others.
  29. % --karl@cs.umb.edu, 23 Jan 93.
  30. circle10        lcircle10
  31. circle10        lcirc10
  32. lcircle10       circle10
  33. lcircle10       lcirc10
  34. lcirc10         circle10
  35. lcirc10         lcircle10
  36.  
  37. circlew10       lcirclew10
  38. circlew10       lcircw10
  39. lcirclew10      circlew10
  40. lcirclew10      lcircw10
  41. lcircw10        circlew10
  42. lcircw10        lcirclew10
  43.