4.0.0 annis-all de.hu-berlin.german.korpling.annis 3.7.1 ../pom.xml annis-doc pom annis-docs UTF-8 ${parsedVersion.majorVersion}.${parsedVersion.minorVersion}-develop ${user.home} \${siteMainDirectory}/annis-content-scm org.apache.maven.plugins maven-scm-publish-plugin 3.0.0 true scm:git:ssh://git@github.com/korpling/ANNIS.git gh-pages ${project.build.directory}/mdbook/ true doc index.html .gitignore true ${scmPubCheckoutDirectory} update documentation for version ${project.version} (${site.path}) Original revision is ${buildNumber}. org.codehaus.mojo build-helper-maven-plugin 3.0.0 parse-version parse-version release ${parsedVersion.majorVersion}.${parsedVersion.minorVersion} preview ${parsedVersion.majorVersion}.${parsedVersion.minorVersion}-develop mdbook maven-resources-plugin 3.1.0 copy-mdbook-to-generated generate-sources copy-resources ${project.build.directory}/mdbook-generated src/mdbook/ true user-guide/book/ developer-guide/book/ online-help/book/ copy-index-html generate-sources copy-resources ${project.build.directory}/mdbook/${site.path} src/html true org.codehaus.mojo exec-maven-plugin 1.6.0 compile-user-guide compile exec mdbook ${project.build.directory} build -d ${project.build.directory}/mdbook/${site.path}/user-guide/ mdbook-generated/user-guide/ compile-developer-guide compile exec mdbook ${project.build.directory} build -d ${project.build.directory}/mdbook/${site.path}/developer-guide/ mdbook-generated/developer-guide/ compile-online-help compile exec mdbook ${project.build.directory} build -d ${project.basedir}/../annis-gui/src/main/webapp/VAADIN/help/ mdbook-generated/online-help/ maven-clean-plugin 3.1.0 ${project.basedir}/../annis-gui/src/main/webapp/VAADIN/help/ false org.apache.maven.plugins maven-scm-publish-plugin scm-publish deploy publish-scm