bsw@1657: #!/bin/sh bsw@1657: # bsw@1657: # This command can be used to update the INSTALL.html file after changing the bsw@1657: # INSTALL.mkd file. bsw@1657: bsw@1657: echo "