jbe@529: #!/bin/sh jbe@529: # jbe@529: # This command can be used to update the README.html file after changing the jbe@529: # README.mkd file. jbe@529: jbe@529: echo "