Added dependency on the tools/toc2bkm.py script for the PDF files.

diff --git a/Doc/Makefile b/Doc/Makefile
index 2a8765b39706171dcea71abb4c977a5d28eabee2..538fb741436901b14c2bd4b9538efa6743f76e3d 100644 (file)
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -126,6 +126,7 @@ tut-all:  tut.dvi tut.pdf tut.ps l2htut
 # 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 $*