From 9aa186eaf43d3c86a99fd08c310cefbc5dfe0612 Mon Sep 17 00:00:00 2001 From: Johannes Ranke Date: Sat, 28 Jan 2023 17:40:31 +0100 Subject: Build online HTML versions of prebuilt vignettes Also, give some structure to the menu for selecting articles --- docs/dev/index.html | 36 +++++++++++++++++++++++++++++------- 1 file changed, 29 insertions(+), 7 deletions(-) (limited to 'docs/dev/index.html') diff --git a/docs/dev/index.html b/docs/dev/index.html index 993b8eea..64fd2651 100644 --- a/docs/dev/index.html +++ b/docs/dev/index.html @@ -52,7 +52,7 @@