Update makefile in preparation for Documentation/config/*.txt