view gen_readme.sh @ 2829:7e126fa60a5f

Change right-click menu item name Change Edit to Plugins
author Colin Clark <colin.clark@cclark.uk>
date Fri, 07 Sep 2018 19:09:43 +0100
parents e083bab50112
children
line wrap: on
line source

#!/bin/bash

# Script to create README.html file,

[ ! -e "README.md" ] && exit 1
[ ! -x "$(command -v markdown)" ] && exit 0

[ -e README.html ] && mv -f README.html README.html.bak

markdown README.md > README.html

exit 0