| Author | Dave Jarvis <email> |
|---|---|
| Date | 2015-02-06 18:33:01 GMT-0800 |
| Commit | fa715eb7d82ed3dcdfe557dfbbc9fa48ab8f266d |
| Parent | f49dbca |
| #!/bin/bash | ||
| +make clean | ||
| + | ||
| bnfc -m -java -p com.whitemagicsoftware rxm.cf | ||
| -make JAVA_FLAGS="-cp .:lib/*" | ||
| +make DVIPS="echo" JAVA_FLAGS="-cp .:lib/*" JAVAC_FLAGS="-cp .:lib/*" LATEX="pandoc -s -t context rxm.tex -o rxm-ctx.tex ; context --purge-all rxm-ctx.tex ; mv rxm-ctx.pdf rxm.pdf ; rm rxm-ctx.*" | ||
| Delta | 3 lines added, 1 line removed, 2-line increase |
|---|