guix-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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


From: Ludovic Courtès
Subject: Re: [PATCH 0/4] Build man pages in $(srcdir).
Date: Sat, 19 Mar 2016 22:28:36 +0100
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/24.5 (gnu/linux)

Mathieu Lirzin <address@hidden> skribis:

> Anyway, inspired by what is done by Automake for info manuals I have tried to
> build man pages in $(srcdir), which is fixing the issue too.  The bonus is
> that now all the documentation is consistently built in $(srcdir) and that we
> avoid adding another "case $? ..." trick.

This sounds reasonable (in fact I wonder why we were not doing it
already given that things are supposed to live in $(srcdir)).

Did you confirm that ‘make distcheck’ passes after that, and that
‘help2man’ is not invoked when building from a tarball?

Thank you!

Ludo’.



reply via email to

[Prev in Thread] Current Thread [Next in Thread]