Re: A build problem with flymake.info

[Eli Zaretskii]

> 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.