From 3a48daaa64f88b129e6438cc97f60866af0f218c Mon Sep 17 00:00:00 2001
From: Giovanni Campagna <gcampagna@src.gnome.org>
Date: Tue, 10 Jul 2012 19:24:50 +0200
Subject: [PATCH] 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.
---
 docs/reference/shell/Makefile.am | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/docs/reference/shell/Makefile.am b/docs/reference/shell/Makefile.am
index b9f1ba475..b79bc7be2 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=