Script to add build targets for texinfo in Sphinx Makefile