Fix docs build on Windows. The issue seen is https://github.com/pressgang/jdocbook-core/issues/17. The suggested workaround works for us.