build: Fix error messages for missing hotdoc extensions
authorTing-Wei Lan <lantw@src.gnome.org>
Tue, 9 Jul 2019 16:34:18 +0000 (00:34 +0800)
committerTing-Wei Lan <lantw@src.gnome.org>
Tue, 9 Jul 2019 16:34:18 +0000 (00:34 +0800)
commitaf360dc641b08351b12e078d3d2f1b339721ae9b
tree4cabc2c2eefd9b0c91dd7d9789d8f5bcbacb42ce
parentdad6e511657ee5b2ccf6f4a871700de59ba39f4c
build: Fix error messages for missing hotdoc extensions
docs/meson.build