From ed53c3f95e08d9eae0da8bf8401aaebdf93ffe30 Mon Sep 17 00:00:00 2001
From: Joshua Potter <jrpotter2112@gmail.com>
Date: Sat, 6 May 2023 13:56:06 -0600
Subject: [PATCH] Flatten directory structure.

---
 Bookshelf/Combinator/{Aviary.html => Aviary_html.html}        | 0
 .../Real/Sequence/{Arithmetic.tex => Arithmetic_tex.tex}      | 0
 Bookshelf/Real/Sequence/{Geometric.tex => Geometric_tex.tex}  | 0
 Exercises/Apostol/{Chapter_I_3.tex => Chapter_I_3_tex.tex}    | 0
 Exercises/Enderton/{Chapter0.tex => Chapter0_tex.tex}         | 0
 lake-manifest.json                                            | 4 ++--
 lakefile.lean                                                 | 2 +-
 7 files changed, 3 insertions(+), 3 deletions(-)
 rename Bookshelf/Combinator/{Aviary.html => Aviary_html.html} (100%)
 rename Bookshelf/Real/Sequence/{Arithmetic.tex => Arithmetic_tex.tex} (100%)
 rename Bookshelf/Real/Sequence/{Geometric.tex => Geometric_tex.tex} (100%)
 rename Exercises/Apostol/{Chapter_I_3.tex => Chapter_I_3_tex.tex} (100%)
 rename Exercises/Enderton/{Chapter0.tex => Chapter0_tex.tex} (100%)

diff --git a/Bookshelf/Combinator/Aviary.html b/Bookshelf/Combinator/Aviary_html.html
similarity index 100%
rename from Bookshelf/Combinator/Aviary.html
rename to Bookshelf/Combinator/Aviary_html.html
diff --git a/Bookshelf/Real/Sequence/Arithmetic.tex b/Bookshelf/Real/Sequence/Arithmetic_tex.tex
similarity index 100%
rename from Bookshelf/Real/Sequence/Arithmetic.tex
rename to Bookshelf/Real/Sequence/Arithmetic_tex.tex
diff --git a/Bookshelf/Real/Sequence/Geometric.tex b/Bookshelf/Real/Sequence/Geometric_tex.tex
similarity index 100%
rename from Bookshelf/Real/Sequence/Geometric.tex
rename to Bookshelf/Real/Sequence/Geometric_tex.tex
diff --git a/Exercises/Apostol/Chapter_I_3.tex b/Exercises/Apostol/Chapter_I_3_tex.tex
similarity index 100%
rename from Exercises/Apostol/Chapter_I_3.tex
rename to Exercises/Apostol/Chapter_I_3_tex.tex
diff --git a/Exercises/Enderton/Chapter0.tex b/Exercises/Enderton/Chapter0_tex.tex
similarity index 100%
rename from Exercises/Enderton/Chapter0.tex
rename to Exercises/Enderton/Chapter0_tex.tex
diff --git a/lake-manifest.json b/lake-manifest.json
index 125e9cf..3c67506 100644
--- a/lake-manifest.json
+++ b/lake-manifest.json
@@ -16,9 +16,9 @@
   {"git":
    {"url": "https://github.com/jrpotter/bookshelf-docgen.git",
     "subDir?": null,
-    "rev": "ef54a19e670a19ee2a17a3bc70bfe4006b8e2a7a",
+    "rev": "b083d636c2581e72da9d18023240319dd5eca43a",
     "name": "doc-gen4",
-    "inputRev?": "ef54a19e670a19ee2a17a3bc70bfe4006b8e2a7a"}},
+    "inputRev?": "b083d636c2581e72da9d18023240319dd5eca43a"}},
   {"git":
    {"url": "https://github.com/mhuisi/lean4-cli",
     "subDir?": null,
diff --git a/lakefile.lean b/lakefile.lean
index 9fe2438..35c3bbc 100644
--- a/lakefile.lean
+++ b/lakefile.lean
@@ -12,7 +12,7 @@ require std4 from git
     "6006307d2ceb8743fea7e00ba0036af8654d0347"
 require «doc-gen4» from git
   "https://github.com/jrpotter/bookshelf-docgen.git" @
-    "ef54a19e670a19ee2a17a3bc70bfe4006b8e2a7a"
+    "b083d636c2581e72da9d18023240319dd5eca43a"
 
 @[default_target]
 lean_lib «Bookshelf» {