Re: [PATCH][DOC] Document all param values and remove defaults (PR middle-end/86078).

2018-09-24 Thread Jeff Law
On 9/24/18 4:18 AM, Martin Liška wrote: > Hi. > > As mentioned in the PR we miss defaults for quite some param option. > I agreed with Richi that easiest way how to fix that would be to remove > that from documentation and use rather --help=param. It's done in the patch. > > Apart from that I rem

[PATCH][DOC] Document all param values and remove defaults (PR middle-end/86078).

2018-09-24 Thread Martin Liška
Hi. As mentioned in the PR we miss defaults for quite some param option. I agreed with Richi that easiest way how to fix that would be to remove that from documentation and use rather --help=param. It's done in the patch. Apart from that I remove few unused params and added all not yet documented