diff options
| author | Akira Kakuto <kakuto@fuk.kindai.ac.jp> | 2010-09-18 13:23:30 +0000 |
|---|---|---|
| committer | Akira Kakuto <kakuto@fuk.kindai.ac.jp> | 2010-09-18 13:23:30 +0000 |
| commit | 1891cc4c24d7ce1ce1d8f334204f0af27d496c15 (patch) | |
| tree | f04b60fc052507af1f2d56c9f2490b8e796dd3d3 /Master | |
| parent | 5968aaa99c98ac53a9604e3788f31a025e1559c0 (diff) | |
update win32/tex4ht.env.
git-svn-id: svn://tug.org/texlive/trunk@19793 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master')
| -rw-r--r-- | Master/texmf-dist/tex4ht/base/win32/tex4ht.env | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/Master/texmf-dist/tex4ht/base/win32/tex4ht.env b/Master/texmf-dist/tex4ht/base/win32/tex4ht.env index cb4a7f97f14..721b6c67a10 100644 --- a/Master/texmf-dist/tex4ht/base/win32/tex4ht.env +++ b/Master/texmf-dist/tex4ht/base/win32/tex4ht.env @@ -154,7 +154,7 @@ i/tex4ht/ht-fonts/alias/! % magnification: -x mag (e.g., -x 1200) % % page size: -T x,y (e.g., -T 14in,14in) % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -<convert> + <convert> G.png Gif exist zz%%4.ps DEL zz%%4.ps >nul Gif exist %%3 DEL %%3 >nul @@ -173,7 +173,7 @@ Gif exist zz%%4.ps DEL zz%%4.ps >nul Gdvips -E -Ppdf -mode ibmvga -D 110 -f %%1 -pp %%2 > zz%%4.ps Gconvert -trim +repage -density 110x110 -transparent "#FFFFFF" zz%%4.ps %%3 Gif exist zz%%4.ps DEL zz%%4.ps >nul -</convert> + </convert> %--------- alternative instructions for old versions of convert % Gconvert -trim -density 110x110 -transparent "#FFFFFF" zz%%4.ps %%3 % Gconvert -crop 0x0 +repage -density 110x110 -transparent "#FFFFFF" zz%%4.ps %%3 @@ -194,7 +194,7 @@ Gif exist zz%%4.ppm DEL zz%%4.ppm Gif exist temp.ppm DEL temp.ppm % Gppmtogif -interlace -transparent 1,1,1 zz%%4.ppm > %%3 </netpbm> - <dvipng> +<dvipng> G.png Gdvipng -T tight -x 1400 -D 72 -bg Transparent -pp %%2:%%2 %%1 -o %%3 G.gif @@ -203,7 +203,7 @@ Gdvipng -T tight -x 1400 -D 72 -bg Transparent -gif -pp %%2:%%2 %%1 -o %%3 Gdvips -Ppdf -mode ibmvga -D 110 -f %%1 -pp %%2 > zz%%4.ps Gconvert -crop 0x0 -density 110x110 -transparent '#FFFFFF' zz%%4.ps %%3 GDEL zz%%4.ps - </dvipng> +</dvipng> <gs> Gif exist zz%%4.ps DEL zz%%4.ps >nul Gif exist %%3 DEL %%3 >nul |