diff options
author | Karl Berry <karl@freefriends.org> | 2013-09-25 23:17:02 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2013-09-25 23:17:02 +0000 |
commit | 9369d950c4248db70919e2992b610017f309ce3e (patch) | |
tree | af556c1be3d9b93f6f899d2ca5c5724836023954 | |
parent | 400535620f9b690eeee5de76031fe677eeeb38f0 (diff) |
doc tweaks
git-svn-id: svn://tug.org/texlive/trunk@31772 c570f23f-e606-0410-a88d-b1316a301751
-rwxr-xr-x | Master/texmf-dist/scripts/texlive/updmap.pl | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/Master/texmf-dist/scripts/texlive/updmap.pl b/Master/texmf-dist/scripts/texlive/updmap.pl index 83e6b4db921..ed70e2b7e7a 100755 --- a/Master/texmf-dist/scripts/texlive/updmap.pl +++ b/Master/texmf-dist/scripts/texlive/updmap.pl @@ -380,9 +380,8 @@ sub main { exit 0; } $changed ||= enable_disable_maps(@missing); - print "finished.\n"; - # the original script did not run any update of the map files here, - # should we do that? + print "$0 --syncwithtrees finished.\n"; + print "Now you need to run $prg normally to recreate map files.\n" } exit 0; } @@ -2299,6 +2298,11 @@ Explanation of trees and files normally used: 2) If neither of the above two are present and changes are made, a new config file is created in \$TEXMFCONFIG/web2c/updmap.cfg. + + In general, the idea is that if a given config file is not writable, a + higher-level one can be used. That way, the distribution's settings + can be overridden for system-wide using TEXMFLOCAL, and then system + settings can be overridden again for a particular using using TEXMFHOME. Resolving multiple definitions of a font: If a font is defined in more than one map file, then the definition |