diff --git a/docs/pom.xml b/docs/pom.xml
index 99972b5f3f..5eeb1fc5bb 100644
--- a/docs/pom.xml
+++ b/docs/pom.xml
@@ -35,6 +35,10 @@
docs
+
+ pl.project13.maven
+ git-commit-id-plugin
+
org.apache.maven.plugins
maven-dependency-plugin
diff --git a/docs/src/main/asciidoc/documentation-overview.adoc b/docs/src/main/asciidoc/documentation-overview.adoc
index 397b3b9628..1f7b66cb8f 100644
--- a/docs/src/main/asciidoc/documentation-overview.adoc
+++ b/docs/src/main/asciidoc/documentation-overview.adoc
@@ -12,9 +12,9 @@ as a map for the rest of the document.
The {project-full-name} reference guide is available as
-* {docs-url}/html[Multi-page HTML]
-* {docs-url}/htmlsingle[Single-page HTML]
-* {docs-url}/pdf/{project-name}.pdf[PDF]
+* {docs-url}reference/html[Multi-page HTML]
+* {docs-url}reference/htmlsingle[Single-page HTML]
+* {docs-url}reference/pdf/{project-name}.pdf[PDF]
Copies of this document may be made for your own use and for distribution to others,
provided that you do not charge any fee for such copies and further provided that each
diff --git a/docs/src/main/asciidoc/index.htmlpdfadoc b/docs/src/main/asciidoc/index.pdfadoc
similarity index 100%
rename from docs/src/main/asciidoc/index.htmlpdfadoc
rename to docs/src/main/asciidoc/index.pdfadoc