pushd doc
call make html
pause
popd