From d767892eb97f099cd1b4a26be2adbd13b00b27aa Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Maximilian=20Ke=C3=9Fler?= <git@maximilian-kessler.de>
Date: Sun, 30 Jan 2022 13:57:55 +0100
Subject: [PATCH] add index in fancythm file

---
 src/environments/fancythm/fancythm.dtx | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/environments/fancythm/fancythm.dtx b/src/environments/fancythm/fancythm.dtx
index aea48b0..c4ec890 100644
--- a/src/environments/fancythm/fancythm.dtx
+++ b/src/environments/fancythm/fancythm.dtx
@@ -845,5 +845,6 @@
 %   \end{implementation}
 % 
 % 
-% 
-% \newpage
+%
+% \newpage 
+% \PrintIndex