add index in fancythm file

2022-01-30 13:57:55 +01:00 · 2022-01-30 13:57:55 +01:00 · d767892eb9
commit d767892eb9
parent 8e853295a0
1 changed files with 3 additions and 2 deletions
--- a/src/environments/fancythm/fancythm.dtx
+++ b/src/environments/fancythm/fancythm.dtx
@ -845,5 +845,6 @@
 %   \end{implementation}
 % 
 % 
-% 
-% \newpage
+%
+% \newpage 
+% \PrintIndex