Rustelo/scripts/docs/docs-dev.sh

15 lines
337 B
Bash
Raw Normal View History

2025-07-07 23:53:50 +01:00
#!/bin/bash
# Quick development script for documentation
set -e
echo "🚀 Starting documentation development server..."
echo "Documentation will be available at: http://localhost:3000"
echo "Press Ctrl+C to stop"
# Change to project root
cd "$(dirname "$0")/.."
# Start mdBook serve with live reload
mdbook serve --open --port 3000