4 doc_files
=( 'Configuration.md'
19 'Migrating from baseflight.md')
21 if which gimli
>/dev
/null
; then
22 echo "Building ${filename}.pdf"
27 for i
in "${doc_files[@]}"
29 cat "$i" >> ${filename}.md
32 gimli
-f ${filename}.md
37 echo "Install Gimli to build the PDF documentation"
38 echo -e "https://github.com/walle/gimli\n"