diff options
| author | John Darrington <jmd@gnu.org> | 2014-02-10 21:35:30 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2014-02-10 22:22:53 +0100 |
| commit | c2e65167212f15093f672ebc49f3f7d4a51fcd2b (patch) | |
| tree | 1567f18dbfed9eb623e5b42b2115ef6e1cb0fad3 /guix | |
| parent | 7f31c71cb8f37e0baadb72e3f205ce55037adfba (diff) | |
build-system/gnu: Set the docdir to "share/doc"
* guix/build/gnu-build-system.scm (configure):
Change docdir directory from "doc" to "share/doc".
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'guix')
| -rw-r--r-- | guix/build/gnu-build-system.scm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/guix/build/gnu-build-system.scm b/guix/build/gnu-build-system.scm index 6d26392c8f..4cda7fc11a 100644 --- a/guix/build/gnu-build-system.scm +++ b/guix/build/gnu-build-system.scm @@ -163,7 +163,7 @@ makefiles." '()) ,@(if docdir (list (string-append "--docdir=" docdir - "/doc/" (package-name))) + "/share/doc/" (package-name))) '()) ,@(if target ; cross building (list (string-append "--host=" target)) |