[CRIU] [crtools-bot] make: Clean docs on "make clean" as well

[Cyrill Gorcunov]

The commit is pushed to "master" and will appear on git://github.com/cyrillos/crtools.git
------>
commit 9993ab395a859ada59b25df7275fb1d5614f50d1
Author: Cyrill Gorcunov <gorcunov at openvz.org>
Date:   Wed Feb 1 15:10:55 2012 +0400

    make: Clean docs on "make clean" as well
    
    Signed-off-by: Cyrill Gorcunov <gorcunov at openvz.org>
---
 Makefile |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)

diff --git a/Makefile b/Makefile
index dee0e61..6ca916d 100644
--- a/Makefile
+++ b/Makefile
@@ -159,6 +159,7 @@ clean:
 	$(Q) $(MAKE) -C test/zdtm cleandep
 	$(Q) $(MAKE) -C test/zdtm clean
 	$(Q) $(MAKE) -C test/zdtm cleanout
+	$(Q) $(MAKE) -C Documentation clean
 .PHONY: clean
 
 tags: