Andreas Enge <andr...@enge.fr> skribis: > 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!
I just did that in commit a9424c0 (already pushed). I think it does the right thing, but if it doesn’t, let’s discuss it. :-) Ludo’.