diff options
author | Karl Berry <karl@freefriends.org> | 2007-05-04 23:27:01 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2007-05-04 23:27:01 +0000 |
commit | d5ed55a3d879b9fa7b48c4c9c6ea1841defeaeb8 (patch) | |
tree | b4e6d7992b7989e0f8a3a3def89aab8b3a0c097a /Build/source/texk/dvipsk/ChangeLog | |
parent | 6abdd5bdd14ddbb6e48bafcf0dc9c9a68c304f92 (diff) |
avoid download if font if already done as header (e.g., from eps)
git-svn-id: svn://tug.org/texlive/trunk@4233 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/dvipsk/ChangeLog')
-rw-r--r-- | Build/source/texk/dvipsk/ChangeLog | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/Build/source/texk/dvipsk/ChangeLog b/Build/source/texk/dvipsk/ChangeLog index 3328ed8d702..773a00a6e7b 100644 --- a/Build/source/texk/dvipsk/ChangeLog +++ b/Build/source/texk/dvipsk/ChangeLog @@ -1,3 +1,11 @@ +2007-05-05 Karl Berry <karl@tug.org> + + * dvips.h (DOWNLOADEDPSSIZE): new constant. + * dvips.c (downloadedpsname): new global array. + * finclude.c: set it up as we download. + * download.c: use it to avoid downloading fonts as both header + and font. (From Akira.) + 2007-05-04 Karl Berry <karl@tug.org> * dvips.h (BANNER): change to 5.96dev to distinguish from the release. |