The set of tools used to automate publishing in the WebSpecs project