aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--auto.def2
1 files changed, 1 insertions, 1 deletions
diff --git a/auto.def b/auto.def
index e3368c4..4a1a08b 100644
--- a/auto.def
+++ b/auto.def
@@ -285,7 +285,7 @@ define JIM_INSTALL [opt-bool install-jim]
define JIM_DOCS [opt-bool docs]
define JIM_RANDOMISE_HASH [opt-bool random-hash]
if {[opt-val docdir] ne ""} {
- define docdir [opt-val docdir]
+ define docdir [lindex [opt-val docdir] end]
} else {
define docdir {${prefix}/docs/jim}
}