.travis.yml: add stage dist with scripts/dist.sh job

.travis.yml

@@ -36,6 +36,20 @@ branches:
      - /^release-.*$/
      - travis-test
 
+stages:
+  - test
+  - dist
+
+jobs:
+  include:
+    - stage: dist
+      compiler: gcc
+      env:
+        - PLATFORM=posix TESTS=yes TLS=no DOCS=yes
+      before_script:
+      script:
+        - docker run -e CC -e PLATFORM -e TESTS -e DOCS -e TLS obgm/libcoap:travis-env /bin/sh -c "scripts/dist.sh"
+
 # Docker disables IPv6 in containers by default, so re-enable it.
 before_script:
   # `daemon.json` is normally missing, but let's log it in case that changes.
@@ -50,4 +64,4 @@ before_script:
   # Paranoia log: what if our config got overwritten?
   - sudo cat /etc/docker/daemon.json
 script:
-  - docker run -e CC -e PLATFORM -e TESTS -e TLS obgm/libcoap:travis-env /bin/sh -c "scripts/build.sh"
+  - docker run -e CC -e PLATFORM -e TESTS -e DOCS -e TLS obgm/libcoap:travis-env /bin/sh -c "scripts/build.sh"