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. Where should I open bugreports: Debian bugzilla or Gitlab? -- Best regards. Ilya Tumaykin.
