the old doc/latex/Makefile can now be removed as it is now generated