Fixes transient mintty build failures (via katex.)
Lucio Andrés Illanes Albornoz (arab, vxp) • 6 years ago  
subr/*.subr: fix header legends.
Lucio Andrés Illanes Albornoz (arab, vxp) • 6 years ago  
Separate front end (build.sh, subr/build_*) from dispatcher.
Lucio Andrés Illanes Albornoz (arab, vxp) • 6 years ago