added liveserver script

unfoldtoolbox · Nov 15, 2023 · ef87b5d · ef87b5d
1 parent 4287d5e
commit ef87b5d
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/docs/run_liveserver.jl b/docs/run_liveserver.jl
@@ -0,0 +1,7 @@
+using LiveServer
+
+dr = filter(isdir,readdir(joinpath("src","generated"),join=true))
+push!(dr,"./build")
+servedocs(skip_dirs=dr,literate_dir=joinpath("literate"),foldername=".",host="0.0.0.0")
+
+