putting a docbook-generated file on the web