4 commits

Author	SHA1	Message	Date
Robert Hensing	f7391f3e17	docs/options: Add page title	2023-01-13 18:18:54 +01:00
Robert Hensing	3ac9c63a01	Remove generated committed code, update	2023-01-13 18:06:55 +01:00
Robert Hensing	44bd4b34c6	options.adoc: Hint where to edit options ... Useful when generated docs will have edit links pointing to options.adoc.	2021-02-11 14:42:26 +01:00
Domen Kožar	5140cf0a09	Use antora for documentation	2019-10-25 00:11:35 +02:00