Fix docs build on Windows. The issue seen is https://github.com/pressgang/jdocbook-core/issues/17. The suggested workaround works for us.
Merge pull request #1011 from gaohoward/master

Fix docs build on Windows.