From: ng0 <ng0@infotropique.org>
Date: Wed, 25 Oct 2017 18:48:48 +0000 (+0000)
Subject: +
X-Git-Tag: gnunet-0.11.0rc0~101^2~3
X-Git-Url: https://git.librecmc.org/?a=commitdiff_plain;h=3621e1ccac016448744c7ac9bfb80f6290245a1f;p=oweals%2Fgnunet.git

+
---

diff --git a/doc/documentation/run-gendocs.sh b/doc/documentation/run-gendocs.sh
index bd5da30d3..6e9d43b48 100755
--- a/doc/documentation/run-gendocs.sh
+++ b/doc/documentation/run-gendocs.sh
@@ -14,4 +14,5 @@ make version2.texi
 #mv gnunet ../tmp-gnunet
 #mv * handbook/
 #mv ../tmp-gnunet gnunet
+cp "index.html" manual/
 printf "Success"