1Inspect complains that this directory is called '1.1', but that's the
2standard naming style for DTDs, and this needs to match the url of the
3DTD on the website. Any platform which has problems with this domain
4name probably won't be able to build the documentation anyway.