@rem -------------------------------------------------------- @rem
@rem        *.ps file converter to arbitrary format           @rem
@rem                01/04/18	sato                          @rem
@rem -------------------------------------------------------- @rem
@if "%3"=="" goto comment
@echo -q		 > quit1.@@@
@echo -dNOPAUSE		>> quit1.@@@
@echo -sDEVICE=%1	>> quit1.@@@
@echo -r200		>> quit1.@@@
@echo -g600x840		>> quit1.@@@
@echo end.ps		>> quit1.@@@
@echo quit.ps		>> quit1.@@@
@echo /NumbDict countdictstack def		 >end.ps
@echo 1 dict begin				>>end.ps
@echo /showpage {} def				>>end.ps
@echo userdict begin				>>end.ps
@echo 0.000000 0.000000 translate		>>end.ps
@echo 0.749502 0.749501 scale			>>end.ps
@echo -127.558731 694.486511 translate		>>end.ps
@echo  90 neg rotate				>>end.ps
@echo (%2) run					>>end.ps
@echo countdictstack NumbDict sub {end} repeat	>>end.ps
@echo showpage					>>end.ps
@rem ####################################################### @rem
gswin32c -sOutputFile=%3 @quit1.@@@ %2
@del quit1.@@@
@del end.ps
goto end
:comment
@echo ---------------------------- convert.bat ---------------------------
@echo        command :: convert [device] [infile.ps] [outfile]
@echo --------------------------------------------------------------------
@echo		DEVICES		FORMAT		
@echo		pgmraw		pgm(バイナリ)	
@echo		pgm		pgm(アスキー)	
@echo		pbmraw		pbm		
@echo		jpeg		jpg		カラー
@echo		tiffcrle	tif		
@echo		tiffg3		tif		
@echo		pngmono		png		白黒(軽い)
@echo		png16		png		カラーで比較的軽いが粗い
@echo		png256		png		カラー(jpegの1/3くらいの容量できれい)
@echo		pnggray		png		きれいな白黒(png256とほぼ同じ容量)
@echo --------------------------------------------------------------------
@goto end
:end