From 10fb619d3e0618528b7ac6c20cad6262020cf947 Mon Sep 17 00:00:00 2001
From: Jay Berkenbilt <ejb@ql.org>
Date: Sat, 18 Dec 2021 09:01:52 -0500
Subject: Split documentation into multiple pages, change theme

---
 TODO | 2 --
 1 file changed, 2 deletions(-)

(limited to 'TODO')

diff --git a/TODO b/TODO
index b41b435c..18746cf6 100644
--- a/TODO
+++ b/TODO
@@ -30,8 +30,6 @@ Before release:
   I can do about, and it doesn't seem worth fixing. Maybe mention it
   somewhere?
 * README-maintainer: Fix installation of documentation to website
-* Get navigation working properly
-* Figure out where to put :ref:`search` so we get doc search
 
 Soon:
 
-- 
cgit v1.2.3-70-g09d2