Building docs requires pdflatex.

--- Makefile.orig	2016-06-08 17:54:25.406353442 +0200
+++ Makefile	2016-06-08 17:54:06.599352471 +0200
@@ -144,7 +144,6 @@
 	$(MAKE) .depend
 	$(MAKE) $(TARGET_SPATCH)
 	$(MAKE) preinstall
-	$(MAKE) docs
 	@$(ECHO) -e "\n\tcoccinelle can now be installed via 'make install'"
 
 all.opt: Makefile.config
