summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/fonts/fontname/fontname.html
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/doc/fonts/fontname/fontname.html')
-rw-r--r--Master/texmf-dist/doc/fonts/fontname/fontname.html2
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.