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