diff options
| -rw-r--r-- | Master/texmf-dist/tex/plain/graphics-pln/miniltx.tex | 23 | ||||
| -rw-r--r-- | TODO | 5 |
2 files changed, 14 insertions, 14 deletions
diff --git a/Master/texmf-dist/tex/plain/graphics-pln/miniltx.tex b/Master/texmf-dist/tex/plain/graphics-pln/miniltx.tex index 7ad26db2a5c..a64a704ded0 100644 --- a/Master/texmf-dist/tex/plain/graphics-pln/miniltx.tex +++ b/Master/texmf-dist/tex/plain/graphics-pln/miniltx.tex @@ -19,6 +19,8 @@ % 1996/01/29 initial version % 1996/05/09 a few missing commands added % 1996/11/21 fixed @ catcode handling +% 2010/01/02 import LaTeX's current \filename@parse [KB/DC] +% (http://sourceforge.net/projects/asymptote/forums/forum/409349/topic/3405573) \edef\resetatcatcode{\catcode`\noexpand\@\the\catcode`\@\relax} \ifx\miniltx\undefined\else\endinput\fi @@ -311,16 +313,15 @@ \def\filename@parse#1{% \let\filename@area\@empty - \expandafter\filename@simple#1.\\} - - \def\filename@simple#1.#2\\{% - \ifx\\#2\\% - \let\filename@ext\relax - \else - \edef\filename@ext{\filename@dot#2\\}% - \fi - \edef\filename@base{#1}} - \def\filename@dot#1.\\{#1} + \expandafter\filename@path#1/\\} + \def\filename@path#1/#2\\{% + \ifx\\#2\\% + \def\reserved@a{\filename@simple#1.\\}% + \else + \edef\filename@area{\filename@area#1/}% + \def\reserved@a{\filename@path#2\\}% + \fi + \reserved@a} \long\def \IfFileExists#1#2#3{% \openin\@inputcheck#1 % @@ -441,4 +442,4 @@ \IfFileExists{#1}{\@@input\@filef@und}{\message{No file #1.}}} % 1996/11/21 -\def\@warning{\immediate\write16}
\ No newline at end of file +\def\@warning{\immediate\write16} @@ -15,10 +15,9 @@ Public domain. TODO: - Fix .ARCH revision computation to ignore .tlpsrc and use a file from the package itself when decreasing revisions need to be handled. Norbert mail to tldev, 22 Nov 2009 01:09:56. - - Remove scheme-gut. - -- remove hide=1 from *.tlpsrc and in TLUtils.pm do: +- unzip 6.0? +- Remove hide=1 from *.tlpsrc and in TLUtils.pm do: - my $hide = (defined($keyval{'hide'}) ? $keyval{'hide'} : 0); + my $hide = (defined($keyval{'hide'}) ? $keyval{'hide'} : 1); |