Fix 1783: Wrap filename in quotes for external commands, so spaces work

diff --git a/scm/ps-to-png.scm b/scm/ps-to-png.scm
index 80bb58abcca28579c7ff3d6fe26477c13b27de79..caffb9aeda8d3dd717d607917684cddaf9a009b6 100644 (file)
--- a/scm/ps-to-png.scm
+++ b/scm/ps-to-png.scm
@@ -84,7 +84,7 @@
       (my-system
        be-verbose #t
        (format #f
-              "pngtopnm ~a | pnmscale -reduce ~a 2>/dev/null | pnmtopng -compression 9 2>/dev/null > ~a"
+              "pngtopnm \"~a\" | pnmscale -reduce ~a 2>/dev/null | pnmtopng -compression 9 2>/dev/null > \"~a\""
               old factor file))
       (delete-file old)))