manual/generate

   1 #!/bin/sh
   2 ##
   3 ## This file is part of the PulseView project.
   4 ##
   5 ## Copyright (C) 2018 Soeren Apel <soeren@apelpie.net>
   6 ##
   7 ## This program is free software; you can redistribute it and/or modify
   8 ## it under the terms of the GNU General Public License as published by
   9 ## the Free Software Foundation; either version 2 of the License, or
  10 ## (at your option) any later version.
  11 ##
  12 ## This program is distributed in the hope that it will be useful,
  13 ## but WITHOUT ANY WARRANTY; without even the implied warranty of
  14 ## MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  15 ## GNU General Public License for more details.
  16 ##
  17 ## You should have received a copy of the GNU General Public License
  18 ## along with this program; if not, see <http://www.gnu.org/licenses/>.
  19 ##
  20
  21 echo "Trying to generate HTML output..."
  22 asciidoctor -a stylesheet=readthedocs.css -a stylesdir=asciidoctor-stylesheet-factory/stylesheets -a toc=left pulseview_manual.txt || exit
  23 echo " --> pulseview_manual.html OK"
  24
  25 # Run asciidoctor-pdf only if it can be found in $PATH
  26 echo "Trying to generate PDF output..."
  27 type asciidoctor-pdf && asciidoctor-pdf -a stylesheet=readthedocs.css -a stylesdir=asciidoctor-stylesheet-factory/stylesheets pulseview_manual.txt || exit
  28 echo " --> pulseview_manual.pdf OK"