build_docs.sh

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