[aur-general] Rules about providing "compiled" documentation

[JoKoT3]

On Tue, Jan 6, 2015 at 2:26 PM, Rashif Ray Rahman <schiv at archlinux.org> wrote:
> Then forget about it (2), unless requested by other users. What
> upstream does not provide, don't go out of your way to do it yourself.
> If users do request it, inform upstream and do it in your package (1).
>
> It is then OK if upstream does not heed your request. You can continue
> to provide it via method (1) as long as it has no adverse effects on
> functionality and/or upstream support.

Thanks, I'll go with solution 2
I will also ask upstream to provide the intermediate file (texi) the
way it was done before.

@Pablo : unfortunately the man page does not provide the same amount
of information than the info file