htmldoc geoserver-${project.version} zip target/html README.html LICENSE.html target VERSION.txt target/developer/html developer target/user/html user target/api api target/html/rest.html api/index.html