Re: [PATCH 0/4] Build man pages in $(srcdir).

[Ludovic Courtès]

Also, do these changes preserve the benefits of
36629097523b0abd89d1b931293150cb9c1f242d (“build: Generate man pages
after compiling Guile objects.”)?

Looks like it, but I just wanna make sure.  :-)

Ludo’.