# Windows only: use git-bash shell script to run makefile
# /c/MinGW/bin/mingw32-make.exe html
mingw32-make html