[xml/sgml-pkgs] Bug#800537: linuxdoc-tools documentation is built during the install stage

[Ilya Tumaykin]

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.