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