22 'Inflight Adjustments.md'
26 'Migrating from baseflight.md'
27 'Board - AlienWii32.md'
32 'Board - Olimexino.md'
33 'Board - CheBuzzF3.md'
36 if which gimli
>/dev
/null
; then
37 echo "Building ${filename}.pdf"
42 for i
in "${doc_files[@]}"
44 cat "$i" >> ${filename}.md
47 gimli
-f ${filename}.md
52 echo "Install Gimli to build the PDF documentation"
53 echo -e "https://github.com/walle/gimli\n"