[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: $(datarootdir) should be $(datadir)
From: |
Ralf Wildenhues |
Subject: |
Re: $(datarootdir) should be $(datadir) |
Date: |
Sat, 4 Jul 2009 10:23:57 +0200 |
User-agent: |
Mutt/1.5.20 (2009-06-15) |
Hello,
* Karl Berry wrote on Fri, Jul 03, 2009 at 11:56:42PM CEST:
> In section 7.2.5, when the 'datadir' directory is discussed, this
> sentence appears:
>
> "This should normally be /usr/local/share, but write it as
> $(datarootdir). (If you are using Autoconf, write it as '@datadir@')"
>
> $(datarootdir) should be $(datadir), given the section it's in.
>
> Thanks for the report. I think you are right,
No, I don't think he is right. Going through the other descriptions:
bindir should be written as $(exec_prefix)/bin,
datarootdir as $(prefix)/share,
datadir as $(datarootdir),
which is at least consistent.
Cheers,
Ralf