From 252769b2b280f1b00db67e45740c8cf7f6aece78 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lucio=20Andr=C3=A9s=20Illanes=20Albornoz?=
 <lucio@lucioillanes.de>
Date: Sat, 24 Nov 2018 12:44:39 +0100
Subject: [PATCH] assets/doc/index.html, index.html: renamed to
 assets/html/help.html.

---
 assets/{doc/index.html => html/help.html} | 0
 index.html                                | 2 +-
 2 files changed, 1 insertion(+), 1 deletion(-)
 rename assets/{doc/index.html => html/help.html} (100%)

diff --git a/assets/doc/index.html b/assets/html/help.html
similarity index 100%
rename from assets/doc/index.html
rename to assets/html/help.html
diff --git a/index.html b/index.html
index a43115e..95a7c13 100644
--- a/index.html
+++ b/index.html
@@ -63,7 +63,7 @@
         <span id="save_el" class="tool">save</span>
         <span id="load_el" class="tool">load</span>
         <br>
-        <a id="doc_el" href="assets/doc/index.html" target="_blank">doc</a>
+        <a id="doc_el" href="assets/html/help.html" target="_blank">help</a>
         <br>
         <span id="advanced_checkbox" class="tool">_ advanced</span>
         <br>