diff options
Diffstat (limited to 'Master/texmf-dist/doc/fonts/fontname/fontname.html')
-rw-r--r-- | Master/texmf-dist/doc/fonts/fontname/fontname.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/texmf-dist/doc/fonts/fontname/fontname.html b/Master/texmf-dist/doc/fonts/fontname/fontname.html index d8f5d2fcd53..81c8b7bb27a 100644 --- a/Master/texmf-dist/doc/fonts/fontname/fontname.html +++ b/Master/texmf-dist/doc/fonts/fontname/fontname.html @@ -1524,7 +1524,7 @@ benefit of DVI-reading programs in the same file. Comments start with <p>Besides allowing long names, this sort of mapping file has other benefits. TeX source or DVI files can be more easily transported, -because the font names in a particular file can be made work on every +because the font names in a particular file can be made to work on every system. Also, when combined with a consistent naming scheme, macros could be written to access any of a number of fonts. Right now, each font family has to have specialized macros written to deal with it. |