5 Commits

Author	SHA1	Message	Date
Mike Fährmann	e60ec1699a	only rewrite utility files if contents changed	2023-01-27 18:04:13 +01:00
Mike Fährmann	3c03928d75	simplify 'docs/options.md' generation ... use the plain text output from '--help' instead of trying to generate 'fancy' HTML with Markdown restrictions	2023-01-06 11:21:47 +01:00
Mike Fährmann	f1a715dbcd	improve docs/options.md ... - use non-breaking hyphens - don't replace '…' in examples - don't force width for long option column	2023-01-04 14:41:05 +01:00
Mike Fährmann	50d89d4acb	docs/options.md: use a separate table for each option group	2023-01-03 16:04:48 +01:00
Mike Fährmann	7de6b7f489	add list of command-line options as docs/options.md (#3464)	2023-01-02 19:14:16 +01:00