From 4a05a12bc06179d5aad27837c2d0adf95e6788b9 Mon Sep 17 00:00:00 2001
From: Tobias Richter <tobias.richter@esss.se>
Date: Tue, 8 May 2018 15:44:59 +0200
Subject: [PATCH] fixes #473

remove build step to doxygen directory
---
 jenkins_build | 3 ---
 1 file changed, 3 deletions(-)

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