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 @@
+#!/bin/bash
+mkdocs build
+echo "The HTML files for the documentation can be found in the site/ subdirectory."
+echo "To view the docs in a browser run 'mkdocs serve'"

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'"