configure: fix --docdir option

opt-val now returns a list, so take the last option given

Reported-by: Stuart Cassoff <stwo@bell.net>
Signed-off-by: Steve Bennett <steveb@workware.net.au>

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}
 }