make-doc.sh

Go to the documentation of this file.

#!/bin/bash

if which pandoc &> /dev/null ; then
    pandoc ${EDEP_ROOT}/README.md -o ${EDEP_ROOT}/README.pdf
fi