#!/bin/sh # # This command can be used to update the INSTALL.html file after changing the # INSTALL.mkd file. echo ""`grep '[^ \t\r\n][^ \t\r\n]*' INSTALL.mkd | head -n 1`"" > INSTALL.html markdown2 INSTALL.mkd >> INSTALL.html echo "" >> INSTALL.html