Re: snippets manual is not rebuilt

[Knut Petersen]

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

Knut