Removed docbook files - they are now hosted on the server