unicode2tex.jar: build/MkTable.class build/Unicode2Tex.class build/table.utf8.txt
	echo 'Main-Class: Unicode2Tex' > build/manifest
	cd build; jar cvmf manifest ../$@ .

build/table.utf8.txt: src/MkTable.java
	make build/MkTable.class
	java -cp build MkTable build/table.utf8.txt

build/%.class: src/*.java
	mkdir -p build
	javac -d build src/*.java

clean:
	rm -rf build

FILE := SystemFC
demo: unicode2tex.jar
	@echo '\\documentclass[9pt,landscape]{article}' > ${FILE}.tex
	@echo '\\usepackage[landscape]{geometry}'       >> ${FILE}.tex
	@echo '\\usepackage[cm]{fullpage}'       >> ${FILE}.tex
	@echo '\\usepackage{amsmath}'        >> ${FILE}.tex
	@echo '\\usepackage{amssymb}'        >> ${FILE}.tex
	@echo '\\usepackage{stmaryrd}'       >> ${FILE}.tex
	@echo '\\usepackage{upgreek}'        >> ${FILE}.tex
	@echo '\\usepackage{parskip}'        >> ${FILE}.tex
	@echo '\\begin{document}'            >> ${FILE}.tex
	@echo '{{\\tt{'           >> ${FILE}.tex
	@echo ''           >> ${FILE}.tex
	@java -jar unicode2tex.jar < ../garrows/src/${FILE}.v >> ${FILE}.tex
	@echo '}}}'                           >> ${FILE}.tex
	@echo '\\end{document}'              >> ${FILE}.tex