From f0718bbf2c79b9130dd519b9fe53e90859160bbc Mon Sep 17 00:00:00 2001
From: Nathan McCarty <thatonelutenist@stranger.systems>
Date: Fri, 21 Feb 2025 03:26:12 -0500
Subject: [PATCH] Move Djot module

---
 SSG.ipkg                      | 2 +-
 src/SSG/{Parser => }/Djot.idr | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)
 rename src/SSG/{Parser => }/Djot.idr (99%)

diff --git a/SSG.ipkg b/SSG.ipkg
index 5189c9b..ef48458 100644
--- a/SSG.ipkg
+++ b/SSG.ipkg
@@ -21,7 +21,7 @@ depends = structures
 -- modules to install
 modules = SSG.Parser.Core
         , SSG.Parser.Util
-        , SSG.Parser.Djot
+        , SSG.Djot
         , SSG.HTML
         , SSG.HTML.ElementTypes
 
diff --git a/src/SSG/Parser/Djot.idr b/src/SSG/Djot.idr
similarity index 99%
rename from src/SSG/Parser/Djot.idr
rename to src/SSG/Djot.idr
index 2900b9b..131e2bf 100644
--- a/src/SSG/Parser/Djot.idr
+++ b/src/SSG/Djot.idr
@@ -1,4 +1,4 @@
-module SSG.Parser.Djot
+module SSG.Djot
 
 import SSG.Parser.Core
 import SSG.Parser.Util