Convert png,jpg,bmp file to eps.

convert.bat

@ECHO OFF 
:: @abstract This script convert all jpg,png,bmp files in current path to eps files.
::			 这个脚本可以将本目录的所有jpg，png，bmp转换成eps文件。

:: @note The bmeps command must exist and in system PATH.
::		必须在系统中有bmeps命令，如果按照完整版CTex，就已经存在了。

:: @author reyoung <[email protected]>

set PreExtent=*.jpg *.png *.bmp
set PostExtent=.eps

FOR %%c in (%PreExtent%) do (
	echo Converting File %%c
	bmeps -c %%c %%~nc%PostExtent%
)
pause