Re: Slash at the end of directory (was Re: oddity with TeX-style-private ?)

[Tassilo Horn]

Ikumi Keita <ikumi@ikumi.que.jp> writes:

>>> > IMHO, `TeX-strip-extension' and `TeX-parse-path' should better
>>> > test with (member dir (mapcar #'file-name-as-directory
>>> > TeX-style-global)) etc.  It shouldn't be the user's job to ensure
>>> > that directory names are written with a trailing slash.
>>> 
>>> OK, then how about the following patch.
>
>> LGTM, thanks!
>
> Pushed. Oops, sorry, I overlooked that new commits had come in. A non
> fast-forward merge commit was produced on savannah. Not good...

Oh no, we're all gonna die! ;-)

Bye,
Tassilo