Fix documentation names on Windows

On Windows the documentation pages would all have titles like `\mydoc` and links like `\mydoc.html`. This PR fixes this issue.