Add builder task to serve the docs

builder

@@ -143,6 +143,10 @@ function build-docs() { ## Builds the documentation of Serene
     popd_build
 }
 
+function serve-docs() { ## Serve the docs directory from build dir
+    python -m http.server --directory $BUILD_DIR/docs/sphinx/
+}
+
 function clean() { ## Cleans up the source dir and removes the build
     rm -rf "$BUILD_DIR"
     rm -rf $(find . -iname "*~")

src/CMakeLists.txt

@@ -18,7 +18,6 @@ add_subdirectory(libserene)
 add_subdirectory(serenec)
 add_subdirectory(serene-repl)
 
-
 # Testing only available if this is the main app
 # Emergency override SERENE_CMAKE_BUILD_TESTING provided as well
 if(SERENE_BUILD_TESTING)