latex의 dvi 파일을 txt로 바꿔주기
catdvi -e 1 -U file.dvi | sed -re "s/\[U\+2022\]/*/g" | sed -re "s/([^^[:space:]])\s+/\1 /g" > file.txt
이 한줄의 스크립이 엄청난 힘을 가지고 있다..
