Fix the docs build (#10834)

2020-06-29 15:28:15 -06:00
parent b28ec32e18
commit 59aa299d05
2 changed files with 5 additions and 5 deletions
--- a/docs/build.sh
+++ b/docs/build.sh
@ -14,4 +14,4 @@ find src -name '*.md' -a \! -name SUMMARY.md |

 mdbook --version
 mdbook-linkcheck --version
-make -j"$(nproc)"
+make -j"$(nproc)" test