[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: oddity with TeX-style-private ?
From: |
Tassilo Horn |
Subject: |
Re: oddity with TeX-style-private ? |
Date: |
Sat, 24 Oct 2020 12:15:22 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
Uwe Brauer <oub@mat.ucm.es> writes:
>> On a related topic, the doc string for the variable 'TeX-auto-global'
>> says that it "must end with a directory separator". To me, a
>> directory separator is the oblique symbol '/' commonly called a
>> back-slash.
/ is a slash, \ is a backslash. ;-)
>> However, the default setting for this variable, given in
>> 'tex-site.el' is "/usr/local/var/auctex", which does not end in '/'.
>
> Right, this also crossed my mind and I tried it out.
> The '/' did not make any difference. I was also wondering.
Probably a relict of ancient times where paths were build using `concat'
rather than `expand-file-name' and friends, I don't know...
Bye,
Tassilo
signature.asc
Description: PGP signature
- Re: oddity with TeX-style-private ?, (continued)
- Re: oddity with TeX-style-private ?, Tassilo Horn, 2020/10/23
- Re: oddity with TeX-style-private ?, Uwe Brauer, 2020/10/23
- Re: oddity with TeX-style-private ?, Tassilo Horn, 2020/10/23
- Re: oddity with TeX-style-private ?, Uwe Brauer, 2020/10/24
- Re: oddity with TeX-style-private ?, Vladimir Lomov, 2020/10/24
- Re: oddity with TeX-style-private ?, Tassilo Horn, 2020/10/24
- Re: oddity with TeX-style-private ?, Uwe Brauer, 2020/10/24
- Re: oddity with TeX-style-private ?, Tassilo Horn, 2020/10/24
- Re: oddity with TeX-style-private ?, Colin Baxter, 2020/10/24
- Re: oddity with TeX-style-private ?, Uwe Brauer, 2020/10/24
- Re: oddity with TeX-style-private ?,
Tassilo Horn <=
- Slash at the end of directory (was Re: oddity with TeX-style-private ?), Ikumi Keita, 2020/10/24
- Re: Slash at the end of directory (was Re: oddity with TeX-style-private ?), Uwe Brauer, 2020/10/24
- Re: Slash at the end of directory (was Re: oddity with TeX-style-private ?), Tassilo Horn, 2020/10/24
- Re: Slash at the end of directory (was Re: oddity with TeX-style-private ?), Ikumi Keita, 2020/10/25
- Re: Slash at the end of directory (was Re: oddity with TeX-style-private ?), Tassilo Horn, 2020/10/25
- Re: Re: Slash at the end of directory (was Re: oddity with TeX-style-private ?), Ikumi Keita, 2020/10/25
- Re: Slash at the end of directory (was Re: oddity with TeX-style-private ?), Tassilo Horn, 2020/10/25
- Re: Slash at the end of directory (was Re: oddity with TeX-style-private ?), Uwe Brauer, 2020/10/25
- Re: Slash at the end of directory (was Re: oddity with TeX-style-private ?), David Kastrup, 2020/10/25
- Re: Slash at the end of directory (was Re: oddity with TeX-style-private ?), Uwe Brauer, 2020/10/25