discover/grub2: Allow to separate the --id argument using a space char

[petitboot] / .travis.yml

diff --git a/.travis.yml b/.travis.yml
index f458213ad8aeda352eef3d15a41482c3c8e14aab..52566286b7fe69887870fe41ae7ab049613370b0 100644 (file)
--- a/.travis.yml
+++ b/.travis.yml
@@ -1,14 +1,36 @@
-language: c
+language: bash
 
 sudo: required
 dist: trusty
 services: docker
-os:
- - linux
- - linux-ppc64le
 
-before_install:
+matrix:
+  include:
+    - os: linux
+      name: "linux"
+      env: DOCS="true"
+    - os: linux-ppc64le
+      name: "linux-ppc64le"
+
+addons:
+  apt:
+    packages:
+      - python-pip
+
+before_script:
  - ./docker/build-builder
 
+install:
+ - "sudo pip install sphinx"
 script:
  - ./docker/build-pb --check --verbose --configure-opts "--enable-platform-arm64 --enable-platform-powerpc"
+ - if [ "$DOCS" == "true" ]; then cd doc/; make html; fi
+
+deploy:
+  provider: pages
+  skip-cleanup: true
+  github-token: $GITHUB_TOKEN
+  local_dir: "doc/_build/html"
+  on:
+    branch: master
+    condition: "$DOCS = true"