summaryrefslogtreecommitdiff
path: root/Build/source/texk/kpathsea/kpsewhich.c
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2008-12-31 19:42:03 +0000
committerKarl Berry <karl@freefriends.org>2008-12-31 19:42:03 +0000
commit6d9ad83c3c55d2423019a5ad4b182e2ddd18dc03 (patch)
tree3573f4edc9f4150709d214a4a90852afc8d049eb /Build/source/texk/kpathsea/kpsewhich.c
parent075e650e9625a1123b48b72b6b1a02badb271a0c (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.c2
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);