whitespace

diff --git a/share/extensions/ps2pdf.sh b/share/extensions/ps2pdf.sh
index 3e77ec30a006b6cb77fc918158533542ad2ec609..61b6dd146ad15a2201d72b6f7145a4ea4bba8dc1 100755 (executable)
--- a/share/extensions/ps2pdf.sh
+++ b/share/extensions/ps2pdf.sh
@@ -3,7 +3,7 @@
 params=`grep "^%%DocumentMedia:" "$1" | head -n 1 | awk '{  if (NF==7) { if ($2!="plain") print "-sPAPERSIZE=" $2; else print "-dDEVICEWIDTHPOINTS=" $3 " -dDEVICEHEIGHTPOINTS=" $4; } }'`
 
 if [ "x${params}x" = "xx" ]
-then 
+then
         params=`grep "^%%BoundingBox:" "$1" | head -n 1 | awk '{ print "-dDEVICEWIDTHPOINTS=" $4 " -dDEVICEHEIGHTPOINTS=" $5; }'`
 fi