Don't make intermediate PostScript file
arming shutdown command
bugfix. number now an integer.
try that again with the correct command...
install index.html