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 | |
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')
-rw-r--r-- | Build/source/texk/kpathsea/ChangeLog | 5 | ||||
-rw-r--r-- | Build/source/texk/kpathsea/kpathsea.texi | 4 | ||||
-rw-r--r-- | Build/source/texk/kpathsea/kpsewhich.c | 2 |
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); |