diff --git a/buildDoc.sh b/buildDoc.sh index be806e05..aa3ce235 100755 --- a/buildDoc.sh +++ b/buildDoc.sh @@ -34,4 +34,7 @@ do done echo done. - +if [ -n "$EXPORT_DOC_DIR" ] +then + $ROOT_DIR/buildDocExports.sh +fi