On Thu, 2 Jan 2014 02:27:27 +0100, c. wrote:
On 2 Jan 2014, at 01:01, JFC <address@hidden> wrote:
But if all the doc is prebuilt, a user does not need the tools for
building it and thus can benefit from the --disable-docs switch.
Unless using it breaks the help, of course...
I thought that --disable-docs was intended at least to avoid the
dependency on a latex system (and possibly other tools).
It it is meant to avoid the dependency on TeX and Texinfo.
The online help needs Texinfo, so if you pass '--disable-docs'
you're not expected to have a working Texinfo ad therefore
the help will not work.
That's true, I forgot about the runtime dependency on makeinfo.
So yes, the intended behavior is that --disable-docs disables both the
manual and the interactive help. Of course all the files that would have
been built are already present in the source distribution, so that's why
when you use ./run-octave, the files are all found in the source tree.