[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: $(srcdir) in man pages and other targets
From: |
Patrice Dumas |
Subject: |
Re: $(srcdir) in man pages and other targets |
Date: |
Sat, 24 Nov 2012 13:07:40 +0100 |
User-agent: |
Mutt/1.5.20 (2009-12-10) |
On Sat, Nov 24, 2012 at 12:12:03PM +0100, Stefano Lattarini wrote:
> >
> I believe that, if you distribute a file, creating in $(srcdir) might
> actually be the correct choice ... For more background, see:
>
> <http://debbugs.gnu.org/cgi/bugreport.cgi?bug=10852>
I didn't really found a clear explanation of that in this url, but it
may be because I am dense ;).
However for the specific case of the man pages generated in Texinfo, I
think that not doing them in srcdir is better.
> > It may not be wrong in every cases, for instance it seems to me that it
> > makes sense to rebuild in $(srcdir) the Makefile fragments that are
> > included by automake.
> >
> In that case, it is the *only* sane approach actually. Automake (and
> the other autotools, like aclocal and autoconf) are re-run by the
> automatic remake rules present in automake-generated Makefiles only
> from the srcdir (since they can only work from there), so any included
> file that is in the builddir would not be found.
Ok, that's also what I figured out. Thanks.
--
Pat
- Re: $(srcdir) in man pages and other targets, (continued)
- Re: $(srcdir) in man pages and other targets, Karl Berry, 2012/11/21
- Re: $(srcdir) in man pages and other targets, Patrice Dumas, 2012/11/22
- Re: $(srcdir) in man pages and other targets, Karl Berry, 2012/11/22
- Re: $(srcdir) in man pages and other targets, Patrice Dumas, 2012/11/22
- Re: $(srcdir) in man pages and other targets, Karl Berry, 2012/11/22
- Re: $(srcdir) in man pages and other targets, Patrice Dumas, 2012/11/22
- Re: $(srcdir) in man pages and other targets, Patrice Dumas, 2012/11/22
- Re: $(srcdir) in man pages and other targets, Stefano Lattarini, 2012/11/23
- Re: $(srcdir) in man pages and other targets, Patrice Dumas, 2012/11/24
- Re: $(srcdir) in man pages and other targets, Stefano Lattarini, 2012/11/24
- Re: $(srcdir) in man pages and other targets,
Patrice Dumas <=
- Re: $(srcdir) in man pages and other targets, Stefano Lattarini, 2012/11/24
Re: $(srcdir) in man pages and other targets, Patrice Dumas, 2012/11/22