From dbcbf16bc9eda2f187a023535d58865dbab3a943 Mon Sep 17 00:00:00 2001
From: Simon Forman <sforman@hushmail.com>
Date: Fri, 16 Sep 2022 11:27:00 -0700
Subject: [PATCH] Got back the LI for lower-cased title notebooks.

Not sure what went wrong there.
---
 docs/html/notebooks/index.html | 2 ++
 docs/notebooks/Makefile        | 4 ++--
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/docs/html/notebooks/index.html b/docs/html/notebooks/index.html
index fc1c271..1e53303 100644
--- a/docs/html/notebooks/index.html
+++ b/docs/html/notebooks/index.html
@@ -41,6 +41,8 @@ I'm in the process of rewriting them to use the Joy kernel.</p>
 <li><a href="/notebooks/TypeChecking.html">TypeChecking</a></li>
 <li><a href="/notebooks/Types.html">Types</a></li>
 <li><a href="/notebooks/Zipper.html">Zipper</a></li>
+<li><a href="/notebooks/fun_with_scan.html">fun with scan</a></li>
+<li><a href="/notebooks/with_sympy.html">with sympy</a></li>
 </ul>
 </body>
 </html>
diff --git a/docs/notebooks/Makefile b/docs/notebooks/Makefile
index 55e2d3d..73a1857 100644
--- a/docs/notebooks/Makefile
+++ b/docs/notebooks/Makefile
@@ -8,9 +8,9 @@ docs_html = $(patsubst %.ipynb,%.html,$(docs))
 all: mov
 
 clean:
-	$(RM) -v $(docs_html)
+	$(RM) -v $(docs_html) index.html
 
-index.html: build_index.py
+index.html: build_index.py $(docs_html)
 	python build_index.py > index.html
 
 $(docs_html): %.html : %.ipynb