build_docs.sh

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