build_docs.sh

   1 #!/bin/bash
   2
   3 filename=Manual
   4 doc_files=( 'Configuration.md'
   5         'Board - CC3D.md'
   6         'Board - Naze32.md'
   7         'Rx.md'
   8         'Serial.md'
   9         'Failsafe.md'
  10         'Battery.md'
  11         'Gps.md'
  12         'Rssi.md'
  13         'Telemetry.md'
  14         'LedStrip.md'
  15         'Display.md'
  16         'Buzzer.md'
  17         'Sonar.md'
  18         'Autotune.md'
  19         'Migrating from baseflight.md')
  20
  21 if which gimli >/dev/null; then
  22         echo "Building ${filename}.pdf"
  23         pushd . >/dev/null
  24         cd docs
  25
  26         rm -f ${filename}.md
  27         for i in "${doc_files[@]}"
  28         do
  29                 cat "$i" >> ${filename}.md
  30         done
  31         rm -f ${filename}.pdf
  32         gimli -f ${filename}.md
  33         rm ${filename}.md
  34         popd >/dev/null
  35 else
  36         echo -e "\nFAILED"
  37         echo "Install Gimli to build the PDF documentation"
  38         echo -e "https://github.com/walle/gimli\n"
  39         exit 1
  40 fi
  41
  42
  43
  44