From e28e2dc6b478da4f70ab392ebfade8210e2f12cf Mon Sep 17 00:00:00 2001
From: "Peter D. Barnes, Jr." <barnes26@llnl.gov>
Date: Mon, 13 Aug 2012 10:26:58 -0700
Subject: [PATCH] (minor) fix documentation

---
 doc/ns3_html_theme/get_version.sh      | 8 ++++----
 doc/ns3_html_theme/static/ns3_links.js | 2 +-
 2 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/doc/ns3_html_theme/get_version.sh b/doc/ns3_html_theme/get_version.sh
index d6c36c674..b8bc4a962 100755
--- a/doc/ns3_html_theme/get_version.sh
+++ b/doc/ns3_html_theme/get_version.sh
@@ -27,8 +27,8 @@
 #     run by cron jobs.)
 #
 # If both a and b are true, we're building for public urls.
-# (The newer update-docs script (through waf) sets the
-# -p switch explicitly.)
+# (The newer update-docs script (through waf) sets
+# NS3_WWW_URLS=public explicitly.)
 # 
 # The repo version is either a tag name or a commit (short) id.
 #
@@ -110,7 +110,7 @@ if [ $daily -eq 1 ] ; then
 fi
 
 if [ $tag -eq 1 ]; then
-    version="3.14"
+    version="3.20"
     say "-t forcing tagged version = $version"
 fi
 
@@ -145,7 +145,7 @@ if [ $distance -eq 0 ]; then
 
 elif [ $tag -eq 1 ]; then
     distance=0
-    version="3.14"
+    # version previously set
 
 else
     version=`hg log -r tip --template '{node|short}'`
diff --git a/doc/ns3_html_theme/static/ns3_links.js b/doc/ns3_html_theme/static/ns3_links.js
index 09d37af87..8faa02f41 100644
--- a/doc/ns3_html_theme/static/ns3_links.js
+++ b/doc/ns3_html_theme/static/ns3_links.js
@@ -7,7 +7,7 @@ var ns3_bugs = ns3_site + "bugzilla";
 // Links that depend on version:
 // Defined in ns3_version.js:
 
-//   ns3_host    = "http://www.nsnam.org/"   file://$PWD
+//   ns3_host    = "//"                      file://$PWD
 //   ns3_version = "3.14"                    "3.14
 //               = "ns-3-dev @ 12345abcde    "repo @ 12345abcde
 //   ns3_release = "docs/release/3.14/"      "repo/"