[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’.
- [PATCH 0/4] Build man pages in $(srcdir)., Mathieu Lirzin, 2016/03/19
- [PATCH 3/4] build: Build man pages in $(srcdir)., Mathieu Lirzin, 2016/03/19
- [PATCH 1/4] Revert "build: Do not remake doc/guix.1.", Mathieu Lirzin, 2016/03/19
- [PATCH 4/4] build: Rewrite comments for man pages., Mathieu Lirzin, 2016/03/19
- [PATCH 2/4] build: Make 'guix' man page depend on scripts/guix.in., Mathieu Lirzin, 2016/03/19
- Re: [PATCH 0/4] Build man pages in $(srcdir).,
Ludovic Courtès <=
- Re: [PATCH 0/4] Build man pages in $(srcdir)., Ludovic Courtès, 2016/03/19