Added dependency on the tools/toc2bkm.py script for the PDF files.
diff --git a/Doc/Makefile b/Doc/Makefile
index 2a8765b..538fb74 100644
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -126,6 +126,7 @@
 # This rule avoids creation of the intermediate PostScript files and uses
 # only free software.
 #
+$(PDFFILES): tools/toc2bkm.py
 .dvi.pdf: $*.bkm
 	$(PDFLATEX) $*
 	$(PYTHON) tools/toc2bkm.py $*