update make commands to build manual.pdf

Enable batchmode and fail if an error happens. This way we can test
automatically if the manual still builds.