#!/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