4 ## @brief Convert README.md to README.html
6 ## Script to create README.html file,
9 if [ ! -e "README.md" ]
11 echo "ERROR: README.md not found"
15 if [ ! -x "$(command -v pandoc)" ]
17 echo "ERROR: File pandoc not installed"
21 [ -e README.html ] && mv -f README.html README.html.bak
23 pandoc README.md > README.html