diff options
| author | Bryan Galdrikian <[email protected]> | 2018-05-31 11:36:08 -0700 |
|---|---|---|
| committer | Bryan Galdrikian <[email protected]> | 2018-05-31 11:36:08 -0700 |
| commit | 7115f60b91b5717d90f643fd692010905c7004db (patch) | |
| tree | effd68c6978751c517d54c2f2bb5bb6e7dc93e18 /docs/_compile/build_all.bat | |
| parent | Updating BlastTool zip (diff) | |
| download | blast-1.1.3_rc1.tar.xz blast-1.1.3_rc1.zip | |
Blast 1.1.3. See docs/release_notes.txt.v1.1.3_rc1
Diffstat (limited to 'docs/_compile/build_all.bat')
| -rwxr-xr-x[-rw-r--r--] | docs/_compile/build_all.bat | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/docs/_compile/build_all.bat b/docs/_compile/build_all.bat index 0ef5539..5bc635b 100644..100755 --- a/docs/_compile/build_all.bat +++ b/docs/_compile/build_all.bat @@ -1,9 +1,9 @@ -@ECHO OFF - -call build_source - -call build_api - -@if errorlevel 0 goto :eof -echo Error while building documentation!!!! -exit /b 1 +@ECHO OFF
+
+call build_source
+
+call build_api
+
+@if errorlevel 0 goto :eof
+echo Error while building documentation!!!!
+exit /b 1
|