From 7e7a39f7b7615af845f1294e60eb5ec08ab176d0 Mon Sep 17 00:00:00 2001
From: Grzegorz Piwowarek <gpiwowarek@gmail.com>
Date: Thu, 5 Dec 2024 21:08:10 +0100
Subject: [PATCH] Publish of Github pages from Gradle.

---
 index.html | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/index.html b/index.html
index f7ff819..0b959ba 100644
--- a/index.html
+++ b/index.html
@@ -528,7 +528,7 @@
 <h1>Vavr User Guide</h1>
 <div class="details">
 <span id="author" class="author">Daniel Dietrich, Robert Winkler</span><br>
-<span id="revnumber">version {project-version},</span>
+<span id="revnumber">version 0.10.5,</span>
 <span id="revdate">2024-12-05</span>
 </div>
 <div id="toc" class="toc2">
@@ -1151,7 +1151,7 @@ <h3 id="_gradle">2.1. Gradle</h3>
 <div class="listingblock">
 <div class="content">
 <pre class="CodeRay highlight"><code data-lang="groovy">dependencies {
-    compile "io.vavr:vavr:{project-version}"
+    compile "io.vavr:vavr:0.10.5"
 }</code></pre>
 </div>
 </div>
@@ -1161,7 +1161,7 @@ <h3 id="_gradle">2.1. Gradle</h3>
 <div class="listingblock">
 <div class="content">
 <pre class="CodeRay highlight"><code data-lang="groovy">dependencies {
-    implementation "io.vavr:vavr:{project-version}"
+    implementation "io.vavr:vavr:0.10.5"
 }</code></pre>
 </div>
 </div>
@@ -2551,8 +2551,8 @@ <h2 id="_license">4. License</h2>
 </div>
 <div id="footer">
 <div id="footer-text">
-Version {project-version}<br>
-Last updated 2024-12-05 20:51:54 +0100
+Version 0.10.5<br>
+Last updated 2024-12-05 21:05:16 +0100
 </div>
 </div>
 </body>