You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: Dockerfile
+1-1Lines changed: 1 addition & 1 deletion
Original file line number
Diff line number
Diff line change
@@ -12,4 +12,4 @@ RUN mkdocs build --clean
12
12
13
13
# serve the documentation if DEV_MODE is set, otherwise, serve built documentation
14
14
# for prod serving, we copy everything to root/docs/, as this is where the docs are actually served from in the container
15
-
CMD if [ "$DEV_MODE" = "true" ]; then mkdocs serve -a 0.0.0.0:8000; else mkdocs build; mkdir -p root; mv site root/docs; cd root; python -m http.server 8000 --bind 0.0.0.0; fi
15
+
CMD if [ "$DEV_MODE" = "true" ]; then mkdocs serve -a 0.0.0.0:8000; else mkdocs build; mkdir -p root; mv site root/docs-guardrails; cd root; python -m http.server 8000 --bind 0.0.0.0; fi
0 commit comments