docs: migrate to MkDocs for site generation (#5227)

This commit is contained in:
Oleg Lobanov
2025-06-28 19:34:34 +02:00
committed by GitHub
parent 464b644adf
commit 6072540c3e
25 changed files with 281 additions and 8 deletions

17
scripts/watch.sh Normal file
View File

@@ -0,0 +1,17 @@
#!/bin/sh
# Initial setup
cp /tmp/README.md /build/docs/index.md
sed -i 's|site/docs/||g' /build/docs/index.md
# Start mkdocs in the background
mkdocs serve -a 0.0.0.0:8000 --dirtyreload &
# Watch for changes in README.md
while true; do
inotifywait -e modify /tmp/README.md
echo "README.md changed. Updating index.md..."
cp /tmp/README.md /build/docs/index.md
sed -i 's|site/docs/||g' /build/docs/index.md
done