From bc67657528b7e52c9c5e5a7603008ac22815e741 Mon Sep 17 00:00:00 2001 From: Christian Grothoff Date: Sun, 7 Jul 2019 20:29:50 +0200 Subject: [PATCH] update index page --- doc/handbook/index.html | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/doc/handbook/index.html b/doc/handbook/index.html index 1bd6da033..857baa7d4 100644 --- a/doc/handbook/index.html +++ b/doc/handbook/index.html @@ -22,8 +22,9 @@

The following handbooks and manuals are available: