diff options
author | Karl Berry <karl@freefriends.org> | 2014-05-22 22:17:47 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2014-05-22 22:17:47 +0000 |
commit | 2c82ac16875a7001c75b07befc4c19ef888f2c22 (patch) | |
tree | 7a9a718863a290c7bec04d8fcdc4f3585078e38d /Master/texmf-dist/fonts/map/dvips | |
parent | 3c7ee9a32926262401d92d4abde06c33d6dbc932 (diff) |
pdftex dummy-space map file + doc
git-svn-id: svn://tug.org/texlive/trunk@34209 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/fonts/map/dvips')
-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 |