Issue #12012: Don't require GUI for C source and HTML export
This patch attempts to resolve #12012 by letting the C Source and HTML Export plug-ins run non-interactively.
@kamilburda Hi! Does this solve the issue for you?
This patch attempts to resolve #12012 by letting the C Source and HTML Export plug-ins run non-interactively.
@kamilburda Hi! Does this solve the issue for you?