[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: oddity with TeX-style-private ?
From: |
Uwe Brauer |
Subject: |
Re: oddity with TeX-style-private ? |
Date: |
Sat, 24 Oct 2020 09:55:01 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
>>> "CB" == Colin Baxter <m43cap@yandex.com> 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. 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.
smime.p7s
Description: S/MIME cryptographic signature
- Re: oddity with TeX-style-private ?, (continued)
- 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/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 <=
- Re: oddity with TeX-style-private ?, Tassilo Horn, 2020/10/24
- 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