On Wed, Sep 30, 2015 at 06:53:01PM +0300, Ilya Tumaykin wrote: > 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?
Hi, Thanks for the info. I have also been thinking about a --disable-docs option after knowing about something named linuxdoc-tools-native, which is plain linuxdoc-tools with patches which hardcode disabling of doc generation. I think an option is the way to go, rather than those patches. Regarding docs I also have some changes to no longer generate dvi+ps, but just pdf, I think that is better. Regarding the main issue in this report (where docs are built), this will take longer. I have only done some minor changes in this part and is mostly as it was when I started caring about linuxdoc-tools. I looked into it and is a big hack to have docs built, since it uses already installed tree for doc building, so it needs many things installed at this time. Also, it is in a 'it works, do not touch it' state. I need to think more carefully about this and properly understand the historical code. I will then try to prepare a minimal installed tree for doc generation, but this will need longer. Regards, -- Agustin
