From 3166b16ce55f46dafbe93ae9079b922bd8e10017 Mon Sep 17 00:00:00 2001
From: Rafael M Mudafort <rafmudaf@gmail.com>
Date: Tue, 14 Nov 2023 15:58:08 -0600
Subject: [PATCH] Use index for home page

Mostly just to make the docs build on GitHub to test that it exits on error
---
 docs/_toc.yml               | 3 +--
 docs/{intro.md => index.md} | 0
 2 files changed, 1 insertion(+), 2 deletions(-)
 rename docs/{intro.md => index.md} (100%)

diff --git a/docs/_toc.yml b/docs/_toc.yml
index 10db7dd79..6ed7490ad 100644
--- a/docs/_toc.yml
+++ b/docs/_toc.yml
@@ -2,11 +2,10 @@
 # Learn more at https://jupyterbook.org/customize/toc.html
 
 format: jb-book
-root: intro
+root: index
 parts:
   - caption: Getting Started
     chapters:
-    # - file: intro
     - file: installation
 
   - caption: User Reference
diff --git a/docs/intro.md b/docs/index.md
similarity index 100%
rename from docs/intro.md
rename to docs/index.md