diff --git a/doc/tools/included.mk b/doc/tools/included.mk
index edd89c444..aad5fa195 100644
--- a/doc/tools/included.mk
+++ b/doc/tools/included.mk
@@ -37,22 +37,12 @@ build_images :=
 
 src_images := $(wildcard images/*)
 html_images := $(patsubst %,html/%,$(src_images))
-pdf_images  := $(patsubst %,pdf/%,$(src_images))
 
 $(html_images): html/images/%: images/%
 	$P copy-img $@
 	$Q mkdir -p $(@D)
 	$Q cp $< $@
 
-$(pdf_images):	pdf/images/%: images/%
-	$P copy-img $@
-	$Q mkdir -p $(@D)
-	$Q cp $< $@
-
-$(main_pdf): $(pdf_imges)
-
-
-
 ### End Xavi