From 08ea10029e705a388ab14ee29544d496a203f23f Mon Sep 17 00:00:00 2001
From: albert-github <albert.tests@gmail.com>
Date: Wed, 5 Feb 2014 09:40:15 +0100
Subject: [PATCH] Add docbook directory to be removed as well

Add docbook directory to be removed as well
---
 Makefile.in | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Makefile.in b/Makefile.in
index c141693f5cd..b5918ba3693 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -45,6 +45,7 @@ distclean: clean
 	-rm -rf html
 	-rm -rf latex
 	-rm -rf man
+	-rm -rf docbook
 	-rm -rf perlmod
 	-rm -rf rtf
 	-rm -rf xml