diff options
Diffstat (limited to 'Master/texmf-dist/fonts/map/dvips/dummy-space/dummy-space.map')
| -rw-r--r-- | Master/texmf-dist/fonts/map/dvips/dummy-space/dummy-space.map | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/Master/texmf-dist/fonts/map/dvips/dummy-space/dummy-space.map b/Master/texmf-dist/fonts/map/dvips/dummy-space/dummy-space.map new file mode 100644 index 00000000000..1b39ca47777 --- /dev/null +++ b/Master/texmf-dist/fonts/map/dvips/dummy-space/dummy-space.map @@ -0,0 +1,6 @@ +% (public domain) +% This dummy-space font is used for the fake-interword-space feature in pdftex. +% Since pdftex.map is the name used for the big conglomerated map file +% used by pdftex, it seems clearer to use the file and directory name +% "dummy-space" for this trivial map entry. --karl, 22may14. +dummy-space <dummy-space.pfb |