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