4
IF EXIST makedownload goto delfile
5
IF NOT EXIST makedownload goto makefile
9
ECHO DISABLED download.html file generation(for the web page)
14
ECHO ENABLED download.html file generation(for the web page)
17
ECHO This is used to show the interim revision number on the website.
18
ECHO If enabled, it will be kept up-to-date whenever a release version is compiled.