diff --git a/doc/dev/dolibarr-doxygen-build.pl b/doc/dev/dolibarr-doxygen-build.pl index d401d230292..12e3b80eb70 100755 --- a/doc/dev/dolibarr-doxygen-build.pl +++ b/doc/dev/dolibarr-doxygen-build.pl @@ -20,6 +20,7 @@ print "Running dir for doxygen must be: $DIR/../..\n"; if (! -s "doc/dev/dolibarr-doxygen.conf") { print "Error: current directory for building Dolibarr doxygen documentation is not correct.\n"; + sleep 4; exit 1; }