1 1.1 mrg option('docs', type: 'feature', description: 'Build documentation') 2 1.1 mrg option('lib_man_suffix', type : 'string', value : '3', 3 1.1 mrg description : 'Suffix for library man pages') 4
Indexes created Sun Oct 25 00:26:45 UTC 2026