On Thu, Aug 29, 2013 at 12:21:47AM +0200, Ludovic Courtès wrote: > Hmm, there was no Makefile in doc/, so how could “cd doc; make pdf” work?
Sorry, indeed, it did not work of course. "make doc/guix.pdf". > With that, “make pdf” at the top level creates doc/guix.pdf, and leaves > no intermediate files at all at the top level. > > Is it an acceptable solution for you (provided the bug above is fixed > nicely)? If so, I’ll prepare a patch. That sounds very good, thanks! Andreas