[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: $(datarootdir) should be $(datadir)
From: |
Karl Berry |
Subject: |
Re: $(datarootdir) should be $(datadir) |
Date: |
Fri, 3 Jul 2009 16:56:42 -0500 |
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, although given the
always-confusing situation datadir and datarootdir, I can't say I'm 100%
sure. Can anyone else here confirm/deny?
I'll think about it and either make the change or insert an explanation.
Best,
Karl