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

[Ilya Tumaykin]

Package: linuxdoc-tools
Version: upstream/0.9.69

Hello.

I am linuxdoc-tools package maintainer from Gentoo. This is not a bugreport 
about Debian package, but about linuxdoc-tools upstream branch.

linuxdoc-tools builds and installs documentation in the 'install' make target, 
see [0]. This is illogically and simply wrong. Documentation should be built 
in 'build' target and later installed in 'install' target.

Also linuxdoc-tools documentation requires heavy latex stuff to be built. Could 
you please make documentation build optional via configure option?

[0]: https://anonscm.debian.org/cgit/debian-xml-sgml/linuxdoc-tools.git/tree/Makefile.in?h=upstream/0.9.69&id=2e56c6f8faae143a39da0c1a04397ab9e8d633f9#n164

-- 
Best regards.
Ilya Tumaykin.