Allow accumulative -d options
When an option xxx is accumulative, multiple -dxxx=<value> arguments are gathered in a list.
Currently, the only accumulative option is -dinclude-settings.
Fixes #3561 (closed)
For the record, the goal behind this is to eventually add a -dfont-path
option.
Edited by Jean Abou Samra