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)