Re: snippets manual is not rebuilt

[Federico Bruni]

Il giorno mer, dic 9 2020 at 00:04:22 +0100, Knut Petersen 
<Knut_Petersen@t-online.de> ha scritto:
> > I'm translating the snippets manual for the first time and I see 
> > that `make doc` does not rebuild it when source is updated.
>
> I use
>
>         make  WEB_TARGETS="offline online" top-doc doc

Thanks, but it's not working here.
Maybe because you run it from build/ and I run it from the source 
directory?
I wish translators could run their scripts from build/