[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: After Debian upgrade labels not created
From: |
Janusz S . Bień |
Subject: |
Re: After Debian upgrade labels not created |
Date: |
Sat, 05 Aug 2023 07:12:09 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.2 (gnu/linux) |
On Fri, Aug 04 2023 at 19:14 +02, Arash Esbati wrote:
> Janusz S. Bień <jsbien@mimuw.edu.pl> writes:
>
>> I got systematically an error, cf.
>>
>> https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1042874
>
> I'm not on Debian, but what does it mean that after a recent upgrade,
I mean upgrage to Debian 12 (bookworm)
> you have:
>
> Version: 12.2-1
>
> Is it that you now have AUCTeX 12.2?
Yes. I've installed it from ELPA and was not aware it's not upgraded
automatically.
If so, that version was released
> in October 2019[1].
>
> I suggest you delete that version, install AUCTeX from ELPA as described
> here[2] and come up with a recipe to reproduce the issue starting with
> "emacs -Q".
Thanks for the suggestion.
I don't know how to load AUCTeX with "emacs -Q".
Anyway I'm unable now to reproduce the problem.
BTW, looks like when creating labels AUCTeX skips non-ASCII characters,
so you get something like
\subsection{Żółć}
\label{sec:o}
I can live with it, but I'm curious whether you are aware of it.
Best regards
Janusz
--
,
Janusz S. Bien
emeryt (emeritus)
https://sites.google.com/view/jsbien
- After Debian upgrade labels not created, Janusz S . Bień, 2023/08/02
- Re: After Debian upgrade labels not created, Arash Esbati, 2023/08/04
- Re: After Debian upgrade labels not created,
Janusz S . Bień <=
- Re: After Debian upgrade labels not created, Arash Esbati, 2023/08/05
- Re: After Debian upgrade labels not created, Janusz S . Bień, 2023/08/05
- Re: After Debian upgrade labels not created, Arash Esbati, 2023/08/05
- Re: After Debian upgrade labels not created, Janusz S . Bień, 2023/08/05
- Re: After Debian upgrade labels not created, Arash Esbati, 2023/08/05
- Re: After Debian upgrade labels not created, Janusz S . Bień, 2023/08/05
- Re: After Debian upgrade labels not created, Ikumi Keita, 2023/08/05
- Re: After Debian upgrade labels not created, Janusz S . Bień, 2023/08/05