Closed tueda closed 3 years ago
When "downloading Makefile on demand" is used, make upgrade upgrades a cached Makefile. This occurs even if MAKEFILE4LATEX_REVISION is not master.
Makefile
make upgrade
MAKEFILE4LATEX_REVISION
master
When "downloading
Makefile
on demand" is used,make upgrade
upgrades a cachedMakefile
. This occurs even ifMAKEFILE4LATEX_REVISION
is notmaster
.