GNU bug report logs -
#30423
2018-01-25; [patch] flymake support
Previous Next
Reported by: Alex Branham <alex.branham <at> gmail.com>
Date: Sun, 11 Feb 2018 18:07:02 UTC
Severity: normal
Tags: patch
Done: Mosè Giordano <mose <at> gnu.org>
Bug is archived. No further changes may be made.
Full log
View this message in rfc822 format
Alex Branham <alex.branham <at> gmail.com> writes:
> On Sun 18 Feb 2018 at 14:14, Arash Esbati <arash <at> gnu.org> wrote:
>
>> Is there a reason why you didn't add this file to Makefile.in in order
>> to get byte-compiled?
>
> No, I'll do that too.
I did this one just now. May I point your attention to this thread?
http://lists.gnu.org/archive/html/auctex/2018-02/msg00019.html
Maybe you could help out.
>> And could you please add something to the manual?
>
> Yes, I'd be more than happy to. Where should it go? Is a new node in the
> "Display" chapter ("Controlling Screen Display") OK or should it go
> somewhere else?
The manual has a section "4.4 Checking for problems"[1]. Does it fit
better? WDYT?
Best, Arash
Footnotes:
[1] https://www.gnu.org/software/auctex/manual/auctex.html#Checking
This bug report was last modified 7 years and 176 days ago.
Previous Next
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.