diff --git a/build_docs.sh b/build_docs.sh
index 464dbe5f6..78ae60610 100755
--- 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'