Add tools/serve_web

Fernando-A-Rocha · Fernando-A-Rocha · commit 2f6de71bb3e2 · 2025-01-20T14:42:57.000Z
diff --git a/tools/serve_web.cmd b/tools/serve_web.cmd
@@ -0,0 +1,3 @@
+@echo off
+
+python -m http.server -b 127.0.0.1 --directory web/output/html
diff --git a/tools/serve_web.sh b/tools/serve_web.sh
@@ -0,0 +1,3 @@
+#!/bin/bash
+
+python -m http.server -b 127.0.0.1 --directory web/output/html
diff --git a/web/README.md b/web/README.md
@@ -26,12 +26,24 @@ pip install -r requirements.txt
 
 ### Usage
 
-The `wikigen.py` script is intended to be executed from the root of the repository.
+Depending on your operating system, you can run the following commands:
 
-To build the repository, run `tools/build_web.sh` or `tools/build_web.cmd` depending on your operating system.
+#### Linux
 
-To serve the repository locally, run the following command:
+```bash
+# Build the wiki website
+./tools/build_web.sh
+
+# Serve the website locally
+./tools/serve_web.sh
+```
+
+#### Windows
 
 ```bash
-python -m http.server -b 127.0.0.1 --directory web/output/html
+# Build the wiki website
+./tools/build_web.cmd
+
+# Serve the website locally
+./tools/serve_web.cmd
 ```

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+@echo off`
	`2`	`+`
	`3`	`+python -m http.server -b 127.0.0.1 --directory web/output/html`
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+#!/bin/bash`
	`2`	`+`
	`3`	`+python -m http.server -b 127.0.0.1 --directory web/output/html`