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 ""`grep '[^ \t\r\n][^ \t\r\n]*' INSTALL.mkd | head -n 1`"" > INSTALL.html bsw@1657: markdown2 INSTALL.mkd >> INSTALL.html bsw@1657: echo "" >> INSTALL.html