From 41a4753d25c9649e940ca4797d81dfb28b4fc7e4 Mon Sep 17 00:00:00 2001
From: Joshua Potter <jrpotter2112@gmail.com>
Date: Fri, 21 Apr 2023 14:17:47 -0600
Subject: [PATCH] Fix broken links.

---
 mathematical-introduction-logic/Enderton/Chapter0.tex | 2 +-
 one-variable-calculus/Apostol/Chapter_I_3.tex         | 2 +-
 shared/Bookshelf.lean                                 | 6 +++---
 shared/Bookshelf/Real/Sequence.tex                    | 6 +++---
 4 files changed, 8 insertions(+), 8 deletions(-)

diff --git a/mathematical-introduction-logic/Enderton/Chapter0.tex b/mathematical-introduction-logic/Enderton/Chapter0.tex
index 5de3d0d..220e82e 100644
--- a/mathematical-introduction-logic/Enderton/Chapter0.tex
+++ b/mathematical-introduction-logic/Enderton/Chapter0.tex
@@ -1,6 +1,6 @@
 \documentclass{article}
 
-\input{../../common/preamble}
+\input{../../shared/preamble}
 
 \begin{document}
 
diff --git a/one-variable-calculus/Apostol/Chapter_I_3.tex b/one-variable-calculus/Apostol/Chapter_I_3.tex
index 912144a..babbc75 100644
--- a/one-variable-calculus/Apostol/Chapter_I_3.tex
+++ b/one-variable-calculus/Apostol/Chapter_I_3.tex
@@ -1,7 +1,7 @@
 \documentclass{article}
 \usepackage[shortlabels]{enumitem}
 
-\input{../../common/preamble}
+\input{../../shared/preamble}
 
 \begin{document}
 
diff --git a/shared/Bookshelf.lean b/shared/Bookshelf.lean
index 9a4c831..e9c99a8 100644
--- a/shared/Bookshelf.lean
+++ b/shared/Bookshelf.lean
@@ -1,3 +1,3 @@
-import Common.List
-import Common.Real
-import Common.Tuple
+import Bookshelf.List
+import Bookshelf.Real
+import Bookshelf.Tuple
diff --git a/shared/Bookshelf/Real/Sequence.tex b/shared/Bookshelf/Real/Sequence.tex
index fa769b3..15e2cd7 100644
--- a/shared/Bookshelf/Real/Sequence.tex
+++ b/shared/Bookshelf/Real/Sequence.tex
@@ -1,6 +1,6 @@
 \documentclass{article}
 
-\input{../../../preamble}
+\input{../../preamble}
 
 \begin{document}
 
@@ -14,7 +14,7 @@
 
 \begin{proof}
 
-  \href{Sequence.lean}{Common.Data.Real.Sequence.Arithmetic.sum_recursive_closed}
+  \href{Sequence/Arithmetic.lean}{Bookshelf.Real.Sequence.Arithmetic.sum_recursive_closed}
 
 \end{proof}
 
@@ -28,7 +28,7 @@
 
 \begin{proof}
 
-  \href{Sequence.lean}{Common.Data.Real.Sequence.Geometric.sum_recursive_closed}
+  \href{Sequence/Geometric.lean}{Bookshelf.Real.Sequence.Geometric.sum_recursive_closed}
 
 \end{proof}