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