GNU bug report logs - #28953
11.91.0; wrong alert about inexistent LaTeX errors

Previous Next

Package: auctex;

Reported by: jfbu <jfbu <at> free.fr>

Date: Mon, 23 Oct 2017 09:45:02 UTC

Severity: normal

Found in version 11.91.0

Done: Ikumi Keita <ikumi <at> ikumi.que.jp>

Bug is archived. No further changes may be made.

Full log


Message #23 received at submit <at> debbugs.gnu.org (full text, mbox):

From: jfbu <jfbu <at> free.fr>
To: bug-auctex <at> gnu.org
Subject: Re: bug#28953: 11.91.0; wrong alert about inexistent LaTeX errors
Date: Tue, 24 Oct 2017 09:25:30 +0200
Le 24/10/2017 à 00:24, Mosè Giordano a écrit :
> The file may end with an extension (AUCTeX doesn't really like
> files without any extension), but TeX doesn't require it at all.

Hi Mosè, you are right. What about spaces? I know there isn't
a single file with spaces in its path on my TeX installation,
and I personally will never ever attempt to use such in my
TEXMFHOME or in the document repertory or sub-repertories.

Unfortunately I never informed myself about status of spaces
in file names with TeX, because they just don't belong to
my world.

Checking for spaces in the string before :<line number>: would
have avoided my real-life problem.

For concreteness the issue arose because often one uses labels
of the type eq:1, thm:3, etc... (indeed possibly AUCTeX prompts
user to insert such label) and my package was reporting them
in a log message of the type

"Undefined label <the label here>: rerun Latex."

Thus checking for space before would have avoided false-positive.

I fixed my real-life problem by simply avoiding adding an
extra colon.

People doing

\section{foo}\label{sec:1: (authorA)}

See \ref{sec:1: (authorA)}

will similarly get bitten by this problem.

In some parallel universe, maybe it happened before I cooked
up that example.

Bye,
Jean-François





This bug report was last modified 2 years and 334 days ago.

Previous Next


GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.