aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJohn Darrington <jmd@gnu.org>2014-02-10 21:35:30 +0100
committerLudovic Courtès <ludo@gnu.org>2014-02-10 22:22:53 +0100
commitc2e65167212f15093f672ebc49f3f7d4a51fcd2b (patch)
tree1567f18dbfed9eb623e5b42b2115ef6e1cb0fad3
parent7f31c71cb8f37e0baadb72e3f205ce55037adfba (diff)
downloadpatches-c2e65167212f15093f672ebc49f3f7d4a51fcd2b.tar
patches-c2e65167212f15093f672ebc49f3f7d4a51fcd2b.tar.gz
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>
-rw-r--r--guix/build/gnu-build-system.scm2
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))