diff options
Diffstat (limited to 'Build/source/texk/xdvipdfmx/src/dvipdfmx.c')
-rw-r--r-- | Build/source/texk/xdvipdfmx/src/dvipdfmx.c | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/Build/source/texk/xdvipdfmx/src/dvipdfmx.c b/Build/source/texk/xdvipdfmx/src/dvipdfmx.c index 05394e616f5..e6e210213eb 100644 --- a/Build/source/texk/xdvipdfmx/src/dvipdfmx.c +++ b/Build/source/texk/xdvipdfmx/src/dvipdfmx.c @@ -107,6 +107,9 @@ int always_embed = 0; /* always embed fonts, regardless of licensing flags */ char *dvi_filename = NULL, *pdf_filename = NULL; static void +read_config_file (const char *config); + +static void set_default_pdf_filename(void) { const char *dvi_base; @@ -455,6 +458,11 @@ do_args (int argc, char *argv[]) pdf_load_fontmap_file(argv[1], FONTMAP_RMODE_REPLACE); POP_ARG(); break; + case 'i': + CHECK_ARG(1, "subsidiary config file"); + read_config_file(argv[1]); + POP_ARG(); + break; case 'e': WARN("dvipdfm \"-e\" option not supported."); break; |