Conditionally build PDF manual (#435)

.travis.yml

@@ -10,13 +10,18 @@ cache:
   - "$HOME/.npm"
   - "$HOME/.local"
 
-before_install: >- # install Pandoc into ~/.local for document generation
-  mkdir -p "$HOME/.local/bin";
-  if [[ ! -f "$HOME/.local/bin/pandoc" ]]; then       
-    curl -L https://github.com/jgm/pandoc/releases/download/2.7.3/pandoc-2.7.3-1-amd64.deb > pandoc.deb &&
-    dpkg -x pandoc.deb pandoc && cp pandoc/usr/bin/* $HOME/.local/bin
-  fi;
-  export PATH="$HOME/.local/bin:$PATH"
+before_install: 
+  - >- # install Pandoc into ~/.local for document generation
+    mkdir -p "$HOME/.local/bin";
+    if [[ ! -f "$HOME/.local/bin/pandoc" ]]; then       
+      curl -L https://github.com/jgm/pandoc/releases/download/2.7.3/pandoc-2.7.3-1-amd64.deb > pandoc.deb &&
+      dpkg -x pandoc.deb pandoc && cp pandoc/usr/bin/* $HOME/.local/bin
+    fi;
+    export PATH="$HOME/.local/bin:$PATH"
+  - >- # install LaTeX only if last commit modified something in docs/
+    if [[ $(git show --pretty="" --name-only HEAD docs/) ]]; then
+      sudo apt-get install texlive-xetex texlive-fonts-recommended texlive-fonts-extra lmodern librsvg2-bin
+    fi
 
 install:
 - npm i -g npm@5.10.0

build/build.sh

@@ -53,10 +53,14 @@ else
 fi
 
 # create and move user manual
-echo "Creating user manual..."
-npm run user-manual
-cp docs/*/user-manual-*.html dist/
+echo "Creating user manual (HTML)..."
+npm run manual
 echo
+if [ $(git show --pretty="" --name-only HEAD docs/) ]; then
+  echo "Creating user manual (PDF)..."
+  npm run manual-pdf
+fi
+cp docs/*/user-manual-*.{html,pdf} dist/
 
 # # delete config file if it was generated during this script
 [ ! $USERCONFIG ] && echo "Removing config generated during build..." && rm ./config/cocoda.json

docs/Makefile

@@ -10,6 +10,10 @@ all: $(BUILD_INFO)
 	make -C en
 	make -C de
 
+pdfs: $(BUILD_INFO)
+	make -C en pdf
+	make -C de pdf
+
 $(BUILD_INFO):
 	npm run build-info
 

package.json

@@ -18,7 +18,8 @@
     "styleguide": "vue-styleguidist server",
     "styleguide:build": "vue-styleguidist build",
     "build-info": "./build/build-info.sh > ./build/build-info.json",
-    "user-manual": "make -BC docs",
+    "manual": "make -BC docs",
+    "manual-pdf": "make -BC docs pdfs",
     "release": "./bin/release.sh",
     "kos-types": "wget http://api.dante.gbv.de/voc/top?uri=http://w3id.org/nkos/nkostype -O config/kos-types.json"
   },