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» {