On Fri, Oct 19, 2012 at 09:54:28PM +, Karl Berry wrote:
Hi Akim,
A few images have been added to the Bison documentation
Sorry to hear it. I doubt you can reasonably use gendocs in such
circumstances, for all the reasons you have discovered. Anyway, I have
On Fri, Oct 19, 2012 at 02:04:05PM +0200, Akim Demaille wrote:
> Hi all!
>
> There is unfortunately no simple way to pass the corresponding
> directories to the various tools. texi2dvi (DVI and PDF) can
> be taught easily via TEXINPUTS. Yet for info, text, html,
> there are several options to us
