--pdf-engine-opt: fix bug where option order was reversed.

Closes #4137.
This commit is contained in:
John MacFarlane 2017-12-11 07:54:33 -08:00
parent 1a5e494cb5
commit 51c0ae5a66

View file

@ -1405,7 +1405,7 @@ options =
(ReqArg
(\arg opt -> do
let oldArgs = optPdfEngineArgs opt
return opt { optPdfEngineArgs = arg : oldArgs })
return opt { optPdfEngineArgs = oldArgs ++ [arg]})
"STRING")
"" -- "Flags to pass to the PDF-engine, all instances of this option are accumulated and used"