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

[Ikumi Keita]

>>>>> "Tassilo Horn" <tsdh@gnu.org> 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...

Regards,
Ikumi Keita