Point Makefile at a separate tools directory. Make doc targets depend on tool scripts.