From 22be6f9d57d6476c7407007ccccc1702936fb53b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tiziano=20M=C3=BCller?= <tm@dev-zero.ch>
Date: Mon, 1 Sep 2014 17:55:37 +0200
Subject: [PATCH] Build documentation conditionally

Building documentation for disabled libraries fails with the
following error:

```
libtool: link: cannot find the library `../../../libinfgtk/libinfgtk-0.6.la' or unhandled argument `../../../libinfgtk/libinfgtk-0.6.la'
Linking of scanner failed:
Makefile:609: recipe for target 'scan-build.stamp' failed
```
---
 docs/reference/Makefile.am | 14 +++++++++++++-
 1 file changed, 13 insertions(+), 1 deletion(-)

diff --git a/docs/reference/Makefile.am b/docs/reference/Makefile.am
index 99344dcf..8db61db7 100644
--- a/docs/reference/Makefile.am
+++ b/docs/reference/Makefile.am
@@ -1,4 +1,16 @@
-SUBDIRS = . libinfinity libinftext libinfgtk libinftextgtk libinfinoted-plugin-manager
+SUBDIRS = . libinfinity libinftext
+
+if WITH_INFGTK
+SUBDIRS += libinfgtk
+endif
+
+if WITH_INFTEXTGTK
+SUBDIRS += libinftextgtk
+endif
+
+if WITH_INFINOTED
+SUBDIRS += libinfinoted-plugin-manager
+endif
 
 # Note that nodist doesn't work here actually because gtk-doc pulls them
 # in anyway (see content_files in a subdirectory's Makefile.am)