From cbbc24b5d283e0f966d6aa6d268374deea163cfc Mon Sep 17 00:00:00 2001
From: Stefan van der Walt <stefan@sun.ac.za>
Date: Wed, 8 Feb 2012 12:31:22 -0800
Subject: [PATCH] Safely check doc version in javascript.

---
 doc/source/_static/docversions.js | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/doc/source/_static/docversions.js b/doc/source/_static/docversions.js
index a2c8cea6..05578a8b 100644
--- a/doc/source/_static/docversions.js
+++ b/doc/source/_static/docversions.js
@@ -5,9 +5,11 @@ function insert_version_links() {
 
     for (i = 0; i < labels.length; i++){
         document.write('<li>');
-        if ((DOCUMENTATION_OPTIONS['VERSION'] == labels[i]) ||
-            (DOCUMENTATION_OPTIONS['VERSION'].match(/dev$/) && (i == 0))) {
-            document.write('&#9656;&nbsp;');
+        if (typeof(DOCUMENTATION_OPTIONS) !== 'undefined') {
+            if ((DOCUMENTATION_OPTIONS['VERSION'] == labels[i]) ||
+                (DOCUMENTATION_OPTIONS['VERSION'].match(/dev$/) && (i == 0))) {
+                document.write('&#9656;&nbsp;');
+            }
         }
         document.write('<a href="URL">skimage VERSION</a> </li>\n'
                         .replace('VERSION', labels[i])