From 06a5c60b4a664104d55e800f15c28ca7dd84ac74 Mon Sep 17 00:00:00 2001 From: Vladimir Mikheev Date: Sat, 7 Dec 2024 22:49:53 +0100 Subject: [PATCH] liveserver --- docs/run_liveserver.jl | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100644 docs/run_liveserver.jl diff --git a/docs/run_liveserver.jl b/docs/run_liveserver.jl new file mode 100644 index 0000000..59db862 --- /dev/null +++ b/docs/run_liveserver.jl @@ -0,0 +1,7 @@ +using LiveServer +servedocs( + skip_dir = joinpath("src", "generated"), + literate_dir = joinpath("literate"), + literate = joinpath("literate"), + foldername = ".", +) \ No newline at end of file