Restore the generation of the TOCs in the Makefile
Restore the generation of the TOCs in the Makefile when running make run