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

[Tassilo Horn]

> > 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!

Bye,
Tassilo