Put safety documentation after introduction

AscendNTNU · Feb 17, 2015 · dc87b4b · dc87b4b
1 parent 5919890
commit dc87b4b
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/build_docs.sh b/build_docs.sh
@@ -3,6 +3,7 @@
 filename=Manual
 doc_files=(
     'Introduction.md'
+    'Safety.md'
     'Installation.md'
     'Configuration.md'
     'Cli.md'