On Thu, Oct 08, 2015 at 08:41:40PM +0300, Ilya Tumaykin wrote: > On Thursday 08 October 2015 18:46:24 Agustin Martin wrote: > > I had a look at this and I have something almost done. A new configure > > option is provided --enable-docs[=types] which should allow fine grained > > selection of doc formats to be built, or complete disabling of docs if > > invoked through --disable-docs (or --enable-docs="no"). Doc building is > > enabled by default. > > Great to hear this. Thank you very much for your quick action on this issue. > > > I also have set a repo at > > > > https://gitlab.com/agmartin/linuxdoc-tools > > > > for easier upstream tracking. Most changes are already there if tou are > > curious about them. Unless I find something wrong in the meantime, expect a > > new upstream release soon. > > I will try out your recent changes soon. > > There are also other minor things we fix downstream in Gentoo and maybe you > find > them reasonable to be merged upstream.
Hi, thanks for the quick reply. The malloc/stdlib issue is included, as well as some other minor issues. > Where should I open bugreports: Debian bugzilla or Gitlab? I am a newbie with gitlab, this is a good oportunity to try its tracker. But do it as you prefer. Thanks for the feedback, regards, -- Agustin
