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