summaryrefslogtreecommitdiff
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
parent075e650e9625a1123b48b72b6b1a02badb271a0c (diff)
special-case XDvi to "other text files"
git-svn-id: svn://tug.org/texlive/trunk@11772 c570f23f-e606-0410-a88d-b1316a301751
-rw-r--r--Build/source/texk/kpathsea/ChangeLog5
-rw-r--r--Build/source/texk/kpathsea/kpathsea.texi4
-rw-r--r--Build/source/texk/kpathsea/kpsewhich.c2
3 files changed, 11 insertions, 0 deletions
diff --git a/Build/source/texk/kpathsea/ChangeLog b/Build/source/texk/kpathsea/ChangeLog
index df6cee11483..8aa46e9b03d 100644
--- a/Build/source/texk/kpathsea/ChangeLog
+++ b/Build/source/texk/kpathsea/ChangeLog
@@ -1,3 +1,8 @@
+2008-12-31 Karl Berry <karl@tug.org>
+
+ * kpsewhich.c (find_format): special-case XDvi to
+ kpse_program_text_file ("other text files").
+
2008-12-15 Karl Berry <karl@tug.org>
* kpsewhich.c (main): warn if the explicit --user-format string
diff --git a/Build/source/texk/kpathsea/kpathsea.texi b/Build/source/texk/kpathsea/kpathsea.texi
index c7c550a9b7c..c33aeb7aefe 100644
--- a/Build/source/texk/kpathsea/kpathsea.texi
+++ b/Build/source/texk/kpathsea/kpathsea.texi
@@ -1355,6 +1355,10 @@ look for the file @file{pdftexconfig.tex} instead.)
@item texmf.cnf
@samp{cnf}
+@flindex XDvi
+@item XDvi
+@samp{other text files}
+
@end table
A user-specified format will override the above defaults.
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);