From 3621e1ccac016448744c7ac9bfb80f6290245a1f Mon Sep 17 00:00:00 2001 From: ng0 Date: Wed, 25 Oct 2017 18:48:48 +0000 Subject: [PATCH] + --- doc/documentation/run-gendocs.sh | 1 + 1 file changed, 1 insertion(+) 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" -- 2.25.1