On Fri, 5 Nov 2021 16:40:17 +0200 Tzvetomir Stoyanov <tz.stoyanov@xxxxxxxxx> wrote: > > "make doc" generates it on my machine, and "make doc_clean" removes it. > > hmm I'm wrong - only the second is true, "make doc_clean" removes it. > That should be fixed. Ah, yeah. :-) -- Steve