Reimar Bauer - 2011-06-06

that is may be not the best solution.

diff -r 2f8ae9bfb970 pdfcrop.pl
--- a/pdfcrop.pl Mon Jun 06 15:48:00 2011 +0200
+++ b/pdfcrop.pl Mon Jun 06 16:32:09 2011 +0200
@@ -441,7 +441,7 @@
"save",
"pop",
"-f",
- $inputfilesafe
+ '"' . $inputfilesafe . '"'
;

my $tmpfile = "$tmp.tex";