From 445bdae46edcc4a6a314c64de0833853149d50a3 Mon Sep 17 00:00:00 2001
From: Michael Zanetti <michael_zanetti@gmx.net>
Date: Wed, 12 Jul 2017 14:30:14 +0200
Subject: [PATCH] don't build guh-doc package in nodoc

---
 debian/control | 1 +
 1 file changed, 1 insertion(+)

diff --git a/debian/control b/debian/control
index 968bfe87..42a5e5f3 100644
--- a/debian/control
+++ b/debian/control
@@ -95,6 +95,7 @@ Section: doc
 Architecture: all
 Depends: ${misc:Depends}
 Recommends: guh
+Build-Profiles: <!nodocs>
 Description: Documentation for the guh package (on-site) - documentation
  The guh daemon is a plugin based IoT (Internet of Things) server. The
  server works like a translator for devices, things and services and