25 'Inflight Adjustments.md'
29 'Migrating from baseflight.md'
31 'Board - AlienWii32.md'
36 'Board - Olimexino.md'
37 'Board - ChebuzzF3.md'
40 if which gimli
>/dev
/null
; then
41 echo "Building ${filename}.pdf"
46 for i
in "${doc_files[@]}"
48 cat "$i" >> ${filename}.md
51 gimli
-f ${filename}.md
-stylesheet override.css
56 echo "Install Gimli to build the PDF documentation"
57 echo -e "https://github.com/walle/gimli\n"