From 6cf199ba3e2b58a505529ff253195a35e735fd6a Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Sun, 7 Jul 2019 20:52:18 +0200
Subject: [PATCH] move index file

---
 doc/{handbook => }/index.html | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename doc/{handbook => }/index.html (100%)

diff --git a/doc/handbook/index.html b/doc/index.html
similarity index 100%
rename from doc/handbook/index.html
rename to doc/index.html
-- 
2.25.1