[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: |
Fri, 23 Nov 2012 00:14:43 +0100 |
User-agent: |
Mutt/1.5.20 (2009-12-10) |
On Fri, Nov 23, 2012 at 12:09:13AM +0100, Patrice Dumas wrote:
> >
> > My thought was just that it seems like it would be one relatively simple
> > command to check that no file in the purported distribution is newer
> > than anything in the source tree. Which should be the result after a
> > make distcheck, I think.
>
> That would be for some files only, as some distributed files are
> generated, right? Like files in man, some files in tp/... But in most
Rereading my mail this is very unclear, what I wanted to say is
'Files that should not be regenerated are files in man/, some files
in tp/'.
> cases just checking that they are in srcdir and not in builddir should
> be enough to check that they were not regenerated. If thay are
> regenerated in srcdir, there should be some error during make distcheck
> because the files in srcdir are read-only so this case should be already
> covered.
>
> --
> PAt
>
- $(srcdir) in man pages and other targets, Patrice Dumas, 2012/11/20
- Re: $(srcdir) in man pages and other targets, Karl Berry, 2012/11/20
- Re: $(srcdir) in man pages and other targets, Patrice Dumas, 2012/11/21
- 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 <=
- 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, 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, 2012/11/22