diff options
| author | Christian Mollekopf <chrigi_1@fastmail.fm> | 2016-02-02 16:32:53 +0100 |
|---|---|---|
| committer | Christian Mollekopf <chrigi_1@fastmail.fm> | 2016-02-02 16:32:53 +0100 |
| commit | 48db37c7981abfcd3fd2f3b40aeffa3208e357ea (patch) | |
| tree | f5b84c76d2f1077e634ad9f67d65d1655ae52ba5 | |
| parent | beff739e193cf643b28f4c17ab56b366f5d5d376 (diff) | |
| download | sink-48db37c7981abfcd3fd2f3b40aeffa3208e357ea.tar.gz sink-48db37c7981abfcd3fd2f3b40aeffa3208e357ea.zip | |
Added the builddocs.sh script
| -rwxr-xr-x | builddocs.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/builddocs.sh b/builddocs.sh new file mode 100755 index 0000000..41e48a4 --- /dev/null +++ b/builddocs.sh | |||
| @@ -0,0 +1,4 @@ | |||
| 1 | #!/bin/bash | ||
| 2 | mkdocs build | ||
| 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'" | ||