diff --git a/doc/ns3_html_theme/get_version.sh b/doc/ns3_html_theme/get_version.sh
index 8a971f0e1..d6c36c674 100755
--- a/doc/ns3_html_theme/get_version.sh
+++ b/doc/ns3_html_theme/get_version.sh
@@ -160,7 +160,10 @@ else
fi
if [ $PUBLIC -eq 1 ]; then
- echo "var ns3_host = \"http://www.nsnam.org/\";" > $outf
+ echo "// ns3_version.js: automatically generated" > $outf
+ echo "// public urls" >> $outf
+ # Generate URL relative to server root
+ echo "var ns3_host = \"/\";" >> $outf
if [ $distance -eq 0 ]; then
echo "var ns3_version = \"Release $version\";" >> $outf
@@ -174,6 +177,8 @@ if [ $PUBLIC -eq 1 ]; then
else
repo=`basename $PWD`
+ echo "// ns3_version.js: automatically generated" > $outf
+ echo "// private urls" >> $outf
echo "var ns3_host = \"file://$PWD/\";" > $outf
echo "var ns3_version = \"$repo @ $version\";" >> $outf
echo "var ns3_release = \"doc/\";" >> $outf
diff --git a/doc/ns3_html_theme/layout.html b/doc/ns3_html_theme/layout.html
index a76af11d8..ddaa207d5 100644
--- a/doc/ns3_html_theme/layout.html
+++ b/doc/ns3_html_theme/layout.html
@@ -62,10 +62,10 @@
onmouseover="mcancelclosetime()"
onmouseout="mclosetime()">
English
Portuguese