Added a 301 redirect to the main page using php. Now everything should

always look like it's at dlib.net

--HG--
extra : convert_revision : svn%3Afdd8eb12-d10e-0410-9acb-85c331704f74/trunk%403377

docs/makedocs

@@ -162,6 +162,12 @@ makedocs ()
     echo Generating sitemap
     cd docs/web || report_failure
     find . -name "*.html" |  awk '{ print "http://dclib.sourceforge.net" substr($1,2)}' > sitemap.txt
+
+    # make the main index have a 301 redirect.  Use php to do this
+    echo '<?php if ($_SERVER["SERVER_NAME"] != "dlib.net") { header("Location: http://dlib.net/", true, 301); exit; } ?>' > index.php
+    cat index.html >> index.php
+    rm index.html
+
     cd ../..
 }