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