|
From: | Ludovic Courtès |
Subject: | Re: [PATCH 0/4] Build man pages in $(srcdir). |
Date: | Sat, 19 Mar 2016 22:33:33 +0100 |
User-agent: | Gnus/5.13 (Gnus v5.13) Emacs/24.5 (gnu/linux) |
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’.
[Prev in Thread] | Current Thread | [Next in Thread] |