github.com/hugelgupf/u-root@v0.0.0-20191023214958-4807c632154c/website/runlocal.sh (about) 1 #!/bin/bash 2 3 # Must run in website directory. 4 mkdocs serve && exit 0 5 echo "#### we need mkdocs: use pip install mkdocs"