Re: config.status --config

[Paolo Bonzini]

+...@item --config
+Print the configuration settings

Print the arguments that were passed to @command{configure}.

Otherwise looks great, thanks!

Paolo