From 51ba983678dea23c8c4b22e1afd0f259c13d3445 Mon Sep 17 00:00:00 2001
From: JAremko <w3techplayground@gmail.com>
Date: Sun, 6 Aug 2017 05:41:39 +0300
Subject: [PATCH] Make CI "FORMATTING" optional

---
 .travis.yml      |  1 +
 CONTRIBUTING.org | 38 +++++++++++++++++++-------------------
 2 files changed, 20 insertions(+), 19 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index 232cbcd83..c6b6e32e8 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -28,6 +28,7 @@ env:
 matrix:
  fast_finish: true
  allow_failures:
+ - env: FORMATTING=doc EVM_EMACS=emacs-25.2-travis
  - env: TESTS=core EVM_EMACS=emacs-git-snapshot-travis
  - env: TESTS=doc EVM_EMACS=emacs-24.4-travis
  - env: TESTS=doc EVM_EMACS=emacs-24.5-travis
diff --git a/CONTRIBUTING.org b/CONTRIBUTING.org
index 85d6b4b5d..cfce9ebc9 100644
--- a/CONTRIBUTING.org
+++ b/CONTRIBUTING.org
@@ -12,25 +12,25 @@ You can only consider reading the sections relevant to what you are going to do:
 Thanks! :heart: :heart: :heart:
 
 * Content                                                   :TOC_4_gh:noexport:
- - [[#asking-for-help][Asking for help]]
- - [[#reporting-issues][Reporting issues]]
- - [[#contributing-code][Contributing code]]
-   - [[#general-contribution-guidelines][General contribution guidelines]]
-     - [[#license][License]]
-     - [[#conventions][Conventions]]
-     - [[#pull-request][Pull-Request]]
-       - [[#ideally-for-simple-prs-most-of-them][Ideally for /simple/ PRs (most of them):]]
-       - [[#for-complex-prs-big-refactoring-etc][For complex PRs (big refactoring, etc):]]
-     - [[#commit-messages][Commit messages]]
-   - [[#contributing-a-layer][Contributing a layer]]
-     - [[#file-header][File header]]
-     - [[#author-of-a-new-layer][Author of a new layer]]
-     - [[#contributor-to-an-existing-layer][Contributor to an existing layer]]
-   - [[#contributing-a-keybinding][Contributing a keybinding]]
-   - [[#contributing-a-banner][Contributing a banner]]
- - [[#additional-information][Additional information]]
-   - [[#testing][Testing]]
- - [[#credits][Credits]]
+- [[#asking-for-help][Asking for help]]
+- [[#reporting-issues][Reporting issues]]
+- [[#contributing-code][Contributing code]]
+  - [[#general-contribution-guidelines][General contribution guidelines]]
+    - [[#license][License]]
+    - [[#conventions][Conventions]]
+    - [[#pull-request][Pull-Request]]
+      - [[#ideally-for-simple-prs-most-of-them][Ideally for /simple/ PRs (most of them):]]
+      - [[#for-complex-prs-big-refactoring-etc][For complex PRs (big refactoring, etc):]]
+    - [[#commit-messages][Commit messages]]
+  - [[#contributing-a-layer][Contributing a layer]]
+    - [[#file-header][File header]]
+    - [[#author-of-a-new-layer][Author of a new layer]]
+    - [[#contributor-to-an-existing-layer][Contributor to an existing layer]]
+  - [[#contributing-a-keybinding][Contributing a keybinding]]
+  - [[#contributing-a-banner][Contributing a banner]]
+- [[#additional-information][Additional information]]
+  - [[#testing][Testing]]
+- [[#credits][Credits]]
 
 * Asking for help
 If you want to ask an usage question, be sure to look first into some places as