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.
