gen_readme.sh

   1 #!/bin/bash
   2
   3 ## @file
   4 ## @brief Convert README.md to README.html
   5 ##
   6 ## Script to create README.html file,
   7 ##
   8
   9 if [ ! -e "README.md" ]
  10 then
  11         echo "ERROR: README.md not found"
  12         exit 1
  13 fi
  14
  15 if [ ! -x "$(command -v pandoc)" ]
  16 then
  17         echo "ERROR: File pandoc not installed"
  18         exit 1
  19 fi
  20
  21 [ -e README.html ] && mv -f README.html README.html.bak
  22
  23 pandoc README.md > README.html
  24
  25 exit 0