I would like to have a little tool that for all *.tex files in a directory (also deep).
- finds out if there is a vacuous module i.e. one that does not have a
\symdecl or \symdef (or \notation and \begin{???}[name=foo] I guess) in them.
- For all those, finds out if it is referenced (i.e. if there is an
\importmodule or \usemodule for it.
- If a vacuous module is unrefernced, then we can just delete the
\bein/\end{smodule} and convert all \improtmodule into \usemodule.
- For a vacuous module
foo, we do the above and replace all \import/\usemodule...{foo} with all the original \importmodule.
(and we probably want to ask the user for the OK.
The plan is that I want to eliminate all vacuous modules from the MathHub/courses archives.
Assigning Dennis as well, so that he is in the loop.
I would like to have a little tool that for all
*.texfiles in a directory (also deep).\symdeclor\symdef(or\notationand\begin{???}[name=foo]I guess) in them.\importmoduleor\usemodulefor it.\bein/\end{smodule}and convert all\improtmoduleinto\usemodule.foo, we do the above and replace all\import/\usemodule...{foo}with all the original\importmodule.(and we probably want to ask the user for the OK.
The plan is that I want to eliminate all vacuous modules from the
MathHub/coursesarchives.Assigning Dennis as well, so that he is in the loop.