From c7a0325623dc6afe91bdf3c1744dd058f971cea6 Mon Sep 17 00:00:00 2001
From: Juan RP <xtraeme@voidlinux.eu>
Date: Thu, 19 Oct 2017 11:10:37 +0200
Subject: [PATCH] gnome-user-docs: broken currently.

---
 srcpkgs/gnome-user-docs/template | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/srcpkgs/gnome-user-docs/template b/srcpkgs/gnome-user-docs/template
index ff2b0c3dcef..9b0947fad1c 100644
--- a/srcpkgs/gnome-user-docs/template
+++ b/srcpkgs/gnome-user-docs/template
@@ -13,3 +13,5 @@ maintainer="Enno Boland <gottox@voidlinux.eu>"
 license="GPL-2"
 distfiles="${GNOME_SITE}/$pkgname/${version%.*}/$pkgname-$version.tar.xz"
 checksum=a64b1769d5f62726297df8b97576154db98b15ad0e7f759c39b3d6a85dbfa982
+
+broken="https://build.voidlinux.eu/builders/x86_64_builder/builds/5404/steps/shell_3/logs/stdio"