diff options
author | Aleksander Morgado <aleksander@lanedo.com> | 2012-02-28 00:17:40 +0100 |
---|---|---|
committer | Aleksander Morgado <aleksander@lanedo.com> | 2012-03-16 14:53:17 +0100 |
commit | 1ad7bc885d69c291f643952c08a36fd97eb54c21 (patch) | |
tree | ad8c767b843638653bd3da4c7089014210a49f68 /docs | |
parent | ca9104dcb4a9d84f6fb224510f17bb24e3d823a8 (diff) |
build: ensure gtk-doc is enabled when doing dist
Diffstat (limited to 'docs')
-rw-r--r-- | docs/Makefile.am | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/docs/Makefile.am b/docs/Makefile.am index 36868ac5..71b71a71 100644 --- a/docs/Makefile.am +++ b/docs/Makefile.am @@ -1,2 +1,14 @@ SUBDIRS = reference man + +# require gtk-doc when making dist +# +if ENABLE_GTK_DOC +dist-check-gtk-doc: +else +dist-check-gtk-doc: + @echo "*** gtk-doc must be enabled in order to make dist" + @false +endif + +dist-hook: dist-check-gtk-doc |