fix handling of carets
[unicode2tex.git] / Makefile
1 unicode2tex.jar: build/MkTable.class build/Unicode2Tex.class build/table.utf8.txt
2         echo 'Main-Class: Unicode2Tex' > build/manifest
3         cd build; jar cvmf manifest ../$@ .
4
5 build/table.utf8.txt: src/MkTable.java
6         make build/MkTable.class
7         java -cp build MkTable build/table.utf8.txt
8
9 build/%.class: src/*.java
10         mkdir -p build
11         javac -d build src/*.java
12
13 clean:
14         rm -rf build
15
16 FILE := SystemFC
17 demo: unicode2tex.jar
18         @echo '\\documentclass[9pt,landscape]{article}' > ${FILE}.tex
19         @echo '\\usepackage[landscape]{geometry}'       >> ${FILE}.tex
20         @echo '\\usepackage[cm]{fullpage}'       >> ${FILE}.tex
21         @echo '\\usepackage{amsmath}'        >> ${FILE}.tex
22         @echo '\\usepackage{amssymb}'        >> ${FILE}.tex
23         @echo '\\usepackage{stmaryrd}'       >> ${FILE}.tex
24         @echo '\\usepackage{upgreek}'        >> ${FILE}.tex
25         @echo '\\usepackage{parskip}'        >> ${FILE}.tex
26         @echo '\\begin{document}'            >> ${FILE}.tex
27         @echo '{{\\tt{'           >> ${FILE}.tex
28         @echo ''           >> ${FILE}.tex
29         @java -jar unicode2tex.jar < ../garrows/src/${FILE}.v >> ${FILE}.tex
30         @echo '}}}'                           >> ${FILE}.tex
31         @echo '\\end{document}'              >> ${FILE}.tex
32