diff --git a/docs/makedocs b/docs/makedocs
index 91a76fea4..197003428 100755
--- a/docs/makedocs
+++ b/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/*