changeset 26736:fb920b730931 stable

__makeinfo__.m: Fix error if path to temporary directory contains spaces (bug #55725).
author Markus Mützel <markus.muetzel@gmx.de>
date Sat, 16 Feb 2019 22:16:40 +0100
parents 48fbd27c6490
children 3a10bdbe6839
files scripts/help/__makeinfo__.m
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/scripts/help/__makeinfo__.m	Fri Feb 15 20:02:35 2019 +0100
+++ b/scripts/help/__makeinfo__.m	Sat Feb 16 22:16:40 2019 +0100
@@ -127,10 +127,10 @@
     ## Take action depending on output type
     switch (lower (output_type))
       case "plain text"
-        cmd = sprintf ("%s --no-headers --no-warn --force --no-validate --output=- %s",
+        cmd = sprintf ('%s --no-headers --no-warn --force --no-validate --output=- "%s"',
                        makeinfo_program (), name);
       case "html"
-        cmd = sprintf ("%s --no-headers --html --no-warn --no-validate --force --output=- %s",
+        cmd = sprintf ('%s --no-headers --html --no-warn --no-validate --force --output=- "%s"',
                        makeinfo_program (), name);
       otherwise
         error ("__makeinfo__: unsupported output type: '%s'", output_type);