# HG changeset patch
# User Shinji KONO <kono@ie.u-ryukyu.ac.jp>
# Date 1386251182 -32400
# Node ID 4ba85665eda72901f6e27ac408399d5cfad95296
# Parent  f66280e26337036f9a9aa09859b4adeea24a2e97
hoi

diff -r f66280e26337 -r 4ba85665eda7 do.sh
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/do.sh	Thu Dec 05 22:46:22 2013 +0900
@@ -0,0 +1,12 @@
+#!/bin/zsh
+o2tex agda-prog.ind; platex  -shell-escape ipsj
+foreach file ( [0-9]*.tex )
+     perl agda2latex.pl $file > aho
+     mv aho $file
+end
+platex -kanji=utf8 -shell-escape ipsj
+pbibtex ipsj
+platex -kanji=utf8 -shell-escape ipsj
+platex -kanji=utf8 -shell-escape ipsj
+dvipdfmx ipsj
+