From 0f058b8d1b1b3b61a7ee3e2b7dc1d187fba8ff87 Mon Sep 17 00:00:00 2001 From: jperon Date: Tue, 17 Jun 2014 14:33:11 +0200 Subject: [PATCH] Suppression des marges dans les png. --- chant_img.php | 10 ++++------ 1 file changed, 4 insertions(+), 6 deletions(-) diff --git a/chant_img.php b/chant_img.php index 6a19cbf..02760bd 100755 --- a/chant_img.php +++ b/chant_img.php @@ -180,14 +180,12 @@ function makeimgfiles($id, $tex, $suffix = '') { fclose($f[0]); chdir(dirname($f[1])); exec('lualatex --interaction=nonstopmode '.basename($f[1])); -# exec('convert -density 300 '.substr($f[1],0,-4).'.pdf -flatten -trim '.$path.'png/'.$id.$suffix.'.png'); - exec('gs -q -dBATCH -dMaxBitmap=50000000 -dNOPAUSE -sDEVICE=pnggray -dTextAlphaBits=4 -dGraphicsAlphaBits=4 -r300x300 -sOutputFile='.$path.'png/'.$id.$suffix.'.png -- '.substr($f[1],0,-4).'.pdf -c quit'); - chmod($path.'png/'.$id.$suffix.'.png', 0666); -# exec('convert -resize 33.333333% '.$path.'png/'.$id.$suffix.'.png '.$path.$id.$suffix.'.png'); - exec('gs -q -dBATCH -dMaxBitmap=50000000 -dNOPAUSE -sDEVICE=pnggray -dTextAlphaBits=4 -dGraphicsAlphaBits=4 -r100x100 -sOutputFile='.$path.$id.$suffix.'.png -- '.substr($f[1],0,-4).'.pdf -c quit'); - chmod($path.$id.$suffix.'.png', 0666); exec('pdfcrop '.substr($f[1],0,-4).'.pdf '.$path.'pdf/'.$id.$suffix.'.pdf'); chmod($path.'pdf/'.$id.$suffix.'.pdf', 0666); + exec('gs -q -dBATCH -dMaxBitmap=50000000 -dNOPAUSE -sDEVICE=bbox -sDEVICE=pnggray -dTextAlphaBits=4 -dGraphicsAlphaBits=4 -r300x300 -sOutputFile='.$path.'png/'.$id.$suffix.'.png -- '.$path.'pdf/'.$id.$suffix.'.pdf -c quit'); + chmod($path.'png/'.$id.$suffix.'.png', 0666); + exec('gs -q -dBATCH -dMaxBitmap=50000000 -dNOPAUSE -sDEVICE=bbox -sDEVICE=pnggray -dTextAlphaBits=4 -dGraphicsAlphaBits=4 -r100x100 -sOutputFile='.$path.$id.$suffix.'.png -- '.$path.'pdf/'.$id.$suffix.'.pdf -c quit'); + chmod($path.$id.$suffix.'.png', 0666); exec('gs -q -dNOPAUSE -dBATCH -dSAFER -sDEVICE=epswrite -dCompatibilityLevel=1.3 -dEmbedAllFonts=true -dSubsetFonts=true -sOutputFile='.$path.'eps/'.$id.$suffix.'.eps '.$path.'pdf/'.$id.$suffix.'.pdf'); chmod($path.'eps/'.$id.$suffix.'.eps', 0666); unlink($f[1]);