Re: docs not building

[Mike Miller]

On Tue, Jul 07, 2015 at 22:18:32 -0500, Dmitri A. Sergatskov wrote:
> On Tue, Jul 7, 2015 at 8:57 PM, John W. Eaton <address@hidden> wrote:
> 
> >
> > I'm not sure why it succeeded for me.  I think the attached change should
> > fix the problem.
> >
> > jwe
> >
> >
> ​It builds for me, but it puts refcard* output files into the source
> directory.

Fails for me, the attached change works better for me. Is the TeX
output-directory option portable enough?

-- 
mike

refcard.diff
Description: Text Data