From 4d4daa07e06821527f3a1c39738ccc9e10b3eb4a Mon Sep 17 00:00:00 2001
From: Marijn Haverbeke <marijnh@gmail.com>
Date: Fri, 12 Sep 2014 15:50:34 +0200
Subject: [PATCH] Don't keep the docco output in the repository anymore