changeset 8:4ba85665eda7

hoi
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Thu, 05 Dec 2013 22:46:22 +0900
parents f66280e26337
children e457d1179e2c
files do.sh
diffstat 1 files changed, 12 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- /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
+