[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: A build problem with flymake.info
From: |
Eli Zaretskii |
Subject: |
Re: A build problem with flymake.info |
Date: |
Wed, 01 Aug 2018 12:00:06 +0300 |
> From: João Távora <address@hidden>
> Cc: address@hidden, address@hidden
> Date: Wed, 01 Aug 2018 09:03:25 +0100
>
> Yes, it does (for makeinfo). So thanks! How about adding this to the
> file's local variables?
>
> João
>
> diff --git a/doc/misc/flymake.texi b/doc/misc/flymake.texi
> index bda7e1428b..e39be578b7 100644
> --- a/doc/misc/flymake.texi
> +++ b/doc/misc/flymake.texi
> @@ -1158,3 +1158,7 @@ Index
> @printindex cp
>
> @bye
> +
> address@hidden Local Variables:
> address@hidden makeinfo-options: "--fill-column=70 -P ../emacs"
> address@hidden End:
I don't see why not, but please add a comment there explaining why we
do this, as other Texinfo files don't.