# HG changeset patch # User Jordi GutiƩrrez Hermoso # Date 1337109532 14400 # Node ID e3d03b48ecb59dc36a0bd38db6ae2cd7c7c54def # Parent f8d5095fa90df432b5f9b1311fe8456ac9c6ba5f doc.m: quote info args diff -r f8d5095fa90d -r e3d03b48ecb5 scripts/help/doc.m --- a/scripts/help/doc.m Mon May 14 16:24:12 2012 -0400 +++ b/scripts/help/doc.m Tue May 15 15:18:52 2012 -0400 @@ -86,7 +86,7 @@ have_fname = ! isempty (fname); if (have_fname) - status = system (sprintf ("%s --index-search %s", cmd, fname)); + status = system (sprintf ("%s --index-search \"%s\"", cmd, fname)); endif if (! (have_fname && status == 0))