diff options
-rwxr-xr-x | builddocs.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/builddocs.sh b/builddocs.sh index 41e48a45..6bd05b80 100755 --- a/builddocs.sh +++ b/builddocs.sh | |||
@@ -1,4 +1,4 @@ | |||
1 | #!/bin/bash | 1 | #!/usr/bin/env bash |
2 | mkdocs build | 2 | mkdocs build |
3 | echo "The HTML files for the documentation can be found in the site/ subdirectory." | 3 | echo "The HTML files for the documentation can be found in the site/ subdirectory." |
4 | echo "To view the docs in a browser run 'mkdocs serve'" | 4 | echo "To view the docs in a browser run 'mkdocs serve'" |