Merge pull request #82 from jameshilliard/optional-docs
authorJonathan Dieter <jdieter@gmail.com>
Thu, 5 May 2022 20:29:45 +0000 (21:29 +0100)
committerGitHub <noreply@github.com>
Thu, 5 May 2022 20:29:45 +0000 (21:29 +0100)
meson: add option to build without docs


Trivial merge