clngn · January 19, 2014 13:43
diff --git a/platex2pdf b/platex2pdf
 #!/bin/bash                                                                     
 export PATH=/usr/texbin:$PATH                                                   
 export name=$1                                                                  

 if platex $1 ; then                                                             
    platex $1                                                                   
    dvipdfmx ${name%.*}                                                         
 fi
	#!/bin/bash
	export PATH=/usr/texbin:$PATH
	export name=$1

	if platex $1 ; then
	platex $1
	dvipdfmx ${name%.*}
	fi