WEBSITE-183 All index file for /dtd directory, listing the various dtds