Commit 5b474f2b authored by Vladimír Čunát's avatar Vladimír Čunát

Merge !1079: doc: generate Info manual

parents b8fb66ab 41860655
Pipeline #70778 passed with stages
in 36 minutes and 37 seconds