From cba3e556409f5c31a6ac9c4eec4e53705a7bea72 Mon Sep 17 00:00:00 2001
From: Michael Hunger <github@jexp.de>
Date: Wed, 16 May 2018 17:40:17 +0200
Subject: [PATCH] build update for docs

---
 build.gradle | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.gradle b/build.gradle
index d5a697852a..eb6662c723 100644
--- a/build.gradle
+++ b/build.gradle
@@ -205,7 +205,7 @@ asciidoctor.doLast {
     copy {
         from 'build/docs/html5/index.html'
         into "build/docs"
-        rename { String filename -> filename.replace("index","index33") }
+        rename { String filename -> filename.replace("index","index34") }
     }
 }
 assemble.dependsOn(asciidoctor)