Fixed this shell script so that it always generates the dlib/revision.h file

correctly.

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

docs/makedocs

@@ -83,15 +83,16 @@ makedocs ()
         svn export -r $REVISION $DLIB_REPOS/examples docs/cache/examples > /dev/null || report_failure
         svn export -r $REVISION $DLIB_REPOS/dlib docs/cache/dlib > /dev/null || report_failure
 
-        echo "#ifndef DLIB_REVISION_H"           > docs/cache/dlib/revision.h
-        echo "// Version: " $RELEASE            >> docs/cache/dlib/revision.h
-        echo "// Date:    " `date`              >> docs/cache/dlib/revision.h
-        echo "// Subversion Revision Number"    >> docs/cache/dlib/revision.h
-        echo "#define DLIB_REVISION " $REVISION >> docs/cache/dlib/revision.h
-        echo "#endif"                           >> docs/cache/dlib/revision.h
-
     fi;
 
+    echo "#ifndef DLIB_REVISION_H"           > docs/cache/dlib/revision.h
+    echo "// Version: " $RELEASE            >> docs/cache/dlib/revision.h
+    echo "// Date:    " `date`              >> docs/cache/dlib/revision.h
+    echo "// Subversion Revision Number"    >> docs/cache/dlib/revision.h
+    echo "#define DLIB_REVISION " $REVISION >> docs/cache/dlib/revision.h
+    echo "#endif"                           >> docs/cache/dlib/revision.h
+
+
     rm -rf docs/web/*
     rm -rf docs/chm/docs/*