summaryrefslogtreecommitdiff
path: root/docs
diff options
context:
space:
mode:
authorTing-Wei Lan <lantw@src.gnome.org>2019-07-10 00:34:18 +0800
committerTing-Wei Lan <lantw@src.gnome.org>2019-07-10 00:34:18 +0800
commitaf360dc641b08351b12e078d3d2f1b339721ae9b (patch)
tree4cabc2c2eefd9b0c91dd7d9789d8f5bcbacb42ce /docs
parentdad6e511657ee5b2ccf6f4a871700de59ba39f4c (diff)
build: Fix error messages for missing hotdoc extensions
Diffstat (limited to 'docs')
-rw-r--r--docs/meson.build2
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/meson.build b/docs/meson.build
index 4ecf45d72..eed5f6ecb 100644
--- a/docs/meson.build
+++ b/docs/meson.build
@@ -41,7 +41,7 @@ hotdoc = import('hotdoc')
foreach extension: required_hotdoc_extensions
if not hotdoc.has_extensions(extension)
if get_option('doc').enabled()
- error('Documentation enabled but gi-extension missing')
+ error('Documentation enabled but @0@ missing'.format(extension))
endif
message('@0@ extensions not found, not building documentation requiring it'.format(extension))