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. I feel quite strongly about avoid recursive Makefiles, so I’d prefer to fix any bugs in the current build system. Thanks, Ludo’.