User Guide: add quotes to a PackageOptions command

[features.git] / lib / configure.py

diff --git a/lib/configure.py b/lib/configure.py
index 17ef38fc6d97f1d8e868e28e99bd4fa689ffc1c1..f81aa3aad80e7876314b0a7c132d21895c03af86 100644 (file)
--- a/lib/configure.py
+++ b/lib/configure.py
@@ -1174,7 +1174,7 @@ def checkConverterEntries():
     checkProg('an EPS -> PDF converter', ['epstopdf'],
         rc_entry = [ r'\converter eps        pdf6       "epstopdf --outfile=$$o $$i"   ""'])
     #
-    checkProg('an EPS -> PNG converter', ['magick $$i $$o', 'convert $$i $$o'],
+    checkProg('an EPS -> PNG converter', ['magick $$i[0] $$o', 'convert $$i[0] $$o'],
         rc_entry = [ r'\converter eps        png        "%%"   ""'])
     #
     # no agr -> pdf6 converter, since the pdf library used by gracebat is not