diff --git a/jenkins_build b/jenkins_build
index f670380ca..b6bae6f7f 100755
--- a/jenkins_build
+++ b/jenkins_build
@@ -37,9 +37,6 @@ if test "${job_name}" = "master branch"; then
     #pdf
     cp -f latex/nexus.pdf ${WWW_ROOT}/doc/NeXusManual.pdf
 
-    # remove doxygen #473
-    rm -rf ${WWW_ROOT}/doxygen/
-
     #html
     rm -fr ${WWW_ROOT}/doc/html
     cp -fr html ${WWW_ROOT}/doc