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/dvips.c | |
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/dvips.c')
-rw-r--r-- | Build/source/texk/dvipsk/dvips.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Build/source/texk/dvipsk/dvips.c b/Build/source/texk/dvipsk/dvips.c index 11d5a844a9d..9f78ccbced7 100644 --- a/Build/source/texk/dvipsk/dvips.c +++ b/Build/source/texk/dvipsk/dvips.c @@ -50,6 +50,7 @@ extern char *strtok() ; /* some systems don't have this in strings.h */ #ifdef VMS static char ofnme[252],infnme[252],pap[40],thh[20]; #endif +char *downloadedpsname[DOWNLOADEDPSSIZE]; /* PS names fully downloaded as headers */ fontdesctype *fonthead ; /* list of all fonts mentioned so far */ fontdesctype *curfnt ; /* the currently selected font */ sectiontype *sections ; /* sections to process document in */ @@ -555,6 +556,8 @@ main P2C(int, argc, char **, argv) #endif register sectiontype *sects ; + for(i=0 ; i < DOWNLOADEDPSSIZE; i++) + downloadedpsname[i] = NULL; #ifdef KPATHSEA kpse_set_program_name (argv[0], "dvips"); kpse_set_program_enabled (kpse_pk_format, MAKE_TEX_PK_BY_DEFAULT, kpse_src_compile); |