diff options
author | Karl Berry <karl@freefriends.org> | 2008-12-31 19:42:03 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2008-12-31 19:42:03 +0000 |
commit | 6d9ad83c3c55d2423019a5ad4b182e2ddd18dc03 (patch) | |
tree | 3573f4edc9f4150709d214a4a90852afc8d049eb /Build/source/texk/kpathsea/kpsewhich.c | |
parent | 075e650e9625a1123b48b72b6b1a02badb271a0c (diff) |
special-case XDvi to "other text files"
git-svn-id: svn://tug.org/texlive/trunk@11772 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/kpathsea/kpsewhich.c')
-rw-r--r-- | Build/source/texk/kpathsea/kpsewhich.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Build/source/texk/kpathsea/kpsewhich.c b/Build/source/texk/kpathsea/kpsewhich.c index 1ca606cba7d..84194dbb58e 100644 --- a/Build/source/texk/kpathsea/kpsewhich.c +++ b/Build/source/texk/kpathsea/kpsewhich.c @@ -117,6 +117,8 @@ find_format P2C(string, name, boolean, is_filename) ret = kpse_cnf_format; } else if (FILESTRCASEEQ (name, "updmap.cfg")) { ret = kpse_web2c_format; + } else if (FILESTRCASEEQ (name, "XDvi")) { + ret = kpse_program_text_format; } else { int f = 0; /* kpse_file_format_type */ unsigned name_len = strlen (name); |