diff options
author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2013-04-10 10:18:02 +0000 |
---|---|---|
committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2013-04-10 10:18:02 +0000 |
commit | ea9720f3384922282f5077e23739e32db0c41b2b (patch) | |
tree | 3de21e1170098d529044f4d2da5ab5020be4b12f /Master/texmf-dist/dvips | |
parent | 7704860edb47bbd24279910a743ee799ad0beff2 (diff) |
updated a few files generated from Build
git-svn-id: svn://tug.org/texlive/trunk@29821 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/dvips')
-rw-r--r-- | Master/texmf-dist/dvips/config/config.xdvi | 40 |
1 files changed, 40 insertions, 0 deletions
diff --git a/Master/texmf-dist/dvips/config/config.xdvi b/Master/texmf-dist/dvips/config/config.xdvi new file mode 100644 index 00000000000..5504fb48c2f --- /dev/null +++ b/Master/texmf-dist/dvips/config/config.xdvi @@ -0,0 +1,40 @@ +% original config.xdvi -- Configuration file for Type 1 rendering in xdvi. +% (If you change or delete `original' in the first line of this file, +% new xdvik installations won't overwrite the file.) +% +% This file is part of xdvik (notwithstanding its location). +% +% Lines starting with `%' are comments. +% +% This file indicates which map files are to be used when running xdvi. +% (It is not used by dvips, unless you type "dvips -Pxdvi ...", which is not +% likely. Doing so, however, would allow you to use the same map files +% in dvips as are used in xdvi.) +% +% The format is the same as for dvips configuration files, except that only +% the `p' and `p+' directives are used. A line +% +% p file.map +% +% clears the existing list of map files and sets the list to the given file. +% A line +% +% p+ file2.map +% +% adds the given map file to the end of the list. If you use "p file.map" +% anywhere other than as the first (non-comment, non-blank) line of the file, +% then you are probably making a mistake. +% +% If a font entry is found in several files, the earlier entry will be used +% (as is done in dvips). Therefore, to override font entries in the standard +% file psfonts.map, you should use entries such as: +% +% p myfile.map +% p+ anotherfile.map +% p+ psfonts.map +% +% However, normally it isn't necessary to add any other map file here +% because psfonts.map is (normally) a generated file (by the updmap +% script). Instead, map files should be added to the updmap.cfg file. +% +% p psfonts.map |