From 653d6ae5725ceaf38d70f182f0321c6dd02f89a2 Mon Sep 17 00:00:00 2001
From: Alexandre Dupas <alexandre@mazrok.(none)>
Date: Tue, 10 Mar 2009 21:51:40 +0100
Subject: [PATCH] Remove documentation from the default makefile rule

---
 makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/makefile b/makefile
index 9900d7c4..6c3ca415 100644
--- a/makefile
+++ b/makefile
@@ -52,7 +52,7 @@ endef
 ############################################################
 ### Cibles
 
-default: pdf documentation
+default: pdf
 
 ps: LATEX = latex
 ps: $(PSF)