Commit Graph

4 Commits (0d818d35406cb56f44101bc114d71f2be5424c15)

Author SHA1 Message Date
Mike Fährmann 3c03928d75
simplify 'docs/options.md' generation
2 years ago
Mike Fährmann f1a715dbcd
improve docs/options.md
2 years ago
Mike Fährmann 50d89d4acb
docs/options.md: use a separate table for each option group
2 years ago
Mike Fährmann 7de6b7f489
add list of command-line options as docs/options.md (#3464)
2 years ago