From d641eb1a16434806afd166ff654fd2f3991ed7dd Mon Sep 17 00:00:00 2001
From: Stephen Herbein <stephen272@gmail.com>
Date: Wed, 29 Apr 2020 10:46:55 -0700
Subject: [PATCH] CORAL: fix toctree references (coral2 -> coral)

---
 coral.rst | 2 +-
 index.rst | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/coral.rst b/coral.rst
index 92b0b1bb..be556a2c 100644
--- a/coral.rst
+++ b/coral.rst
@@ -1,4 +1,4 @@
-.. _coral2:
+.. _coral:
 
 ==============
 CORAL Systems
diff --git a/index.rst b/index.rst
index 1d2c7868..7e15a138 100644
--- a/index.rst
+++ b/index.rst
@@ -17,7 +17,7 @@ Welcome to Flux's documentation!
 
    quickstart
    contributing
-   coral2
+   coral
 
 Indices and tables
 ==================