From 8a1c2b04b284af1de6697c189b1f0a6079b4fe6d Mon Sep 17 00:00:00 2001
From: Joshua Potter <jrpotter2112@gmail.com>
Date: Sat, 6 May 2023 14:02:36 -0600
Subject: [PATCH] Remove nesting.

---
 preamble.tex | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/preamble.tex b/preamble.tex
index 6383a56..4a44c63 100644
--- a/preamble.tex
+++ b/preamble.tex
@@ -17,7 +17,5 @@
 
 % The first argument refers to a relative path upward from a current file to
 % the root of the workspace (i.e. where this `preamble.tex` file is located).
-% We include an additional nesting of `..` to account for the generated `LaTeX`
-% directory automatically included when generating documentation.
-\newcommand{\lean}[3]{\href{#1/../#2.html\##3}{
+\newcommand{\lean}[3]{\href{#1/#2.html\##3}{
   \startunderscoreletter #3 \stopunderscoreletter}}