bin/dvips2ascii
