Re: Fix the inability to build the manual.

2017-02-24 Thread Leo Famulari
On Wed, Feb 22, 2017 at 01:04:30PM +0100, John Darrington wrote: > These patches allow "make pdf" and "make dvi" to work again in master. > Is there any possibility to get hydra/bayfront to do this regularly so > that we notice when it gets broken? Sounds like a good idea!

Fix the inability to build the manual.

2017-02-22 Thread John Darrington
These patches allow "make pdf" and "make dvi" to work again in master. Is there any possibility to get hydra/bayfront to do this regularly so that we notice when it gets broken?