Instead of an ugly Makefile structure, we now use a single compile script that collects all the files in build/doc. |
||
---|---|---|
.. | ||
fancythm | ||
groupthm | ||
refproof | ||
thmstyle |
Instead of an ugly Makefile structure, we now use a single compile script that collects all the files in build/doc. |
||
---|---|---|
.. | ||
fancythm | ||
groupthm | ||
refproof | ||
thmstyle |