multilingualizer
I will probably need/want to have a multilingualizer
tool, i.e. a tool that takes a monolinguial file foo.tex with \begin/\end{module}
(say for theories bar
and baz
) and \importmhmodule
, and \symdef
in it and make
- a file
foo.en.tex
(for some value ofen
given in an argument tomultilingualizer
) with all the text and\begin{mhmodnl}{bar/baz}{en}
and - files
bar.tex
andbaz.tex
which have the\symdef
, and the corresponding\begin/end{modsig}[id=bar/baz]
and the\importmhmodule
(the latter might even transform nicely to\gimport
; I am not sure yet.
The goal is to apply it to all of IWGS (and eventually AI) and add German glossary modules to bar.tex
and baz.tex
, so I can make a dictionary.
This is really a co-requisite for #21 (at least the dictionary part there).
It would be good, if I could apply this to a whole directory or even course.
BTW, there is already a python tool by @twiesing that did something similar, you may have a look at that.