scholdoc-texmath-0.1: lib/totexmath/Makefile
UnicodeToLaTeX.hs: unimathsymbols.txt runghc unicodetotex.hs .PHONY: clean clean: -rm UnicodeToLaTeX.hs
UnicodeToLaTeX.hs: unimathsymbols.txt runghc unicodetotex.hs .PHONY: clean clean: -rm UnicodeToLaTeX.hs