diff options
author | Giovanni Campagna <gcampagna@src.gnome.org> | 2012-07-10 19:24:50 +0200 |
---|---|---|
committer | Giovanni Campagna <gcampagna@src.gnome.org> | 2012-07-10 19:36:57 +0200 |
commit | 3a48daaa64f88b129e6438cc97f60866af0f218c (patch) | |
tree | ebfa52b071ab34999a8d1acd2392e0d6ee4dcd8e /docs | |
parent | d2b4a65e6584325cae37ea4d57d1266c38c9feb1 (diff) |
Don't build documentation for the recorder when it's disabled
When building with gtk-doc but no recorder, build fails trying to
get the GType of ShellRecorder. Fix it by skipping its header file
when disabled.
Diffstat (limited to 'docs')
-rw-r--r-- | docs/reference/shell/Makefile.am | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/docs/reference/shell/Makefile.am b/docs/reference/shell/Makefile.am index b9f1ba47..b79bc7be 100644 --- a/docs/reference/shell/Makefile.am +++ b/docs/reference/shell/Makefile.am @@ -68,6 +68,10 @@ IGNORE_HFILES= \ gactionobserver.h \ shell-recorder-src.h +if !BUILD_RECORDER +IGNORE_HFILES += shell-recorder.h +endif + # Images to copy into HTML directory. # e.g. HTML_IMAGES=$(top_srcdir)/gtk/stock-icons/stock_about_24.png HTML_IMAGES= |