From b9b87bed67f42891d3ee73993f85a9dcd1e5028d Mon Sep 17 00:00:00 2001
From: Sven Dowideit <SvenDowideit@users.noreply.github.com>
Date: Thu, 28 Jul 2016 16:39:04 +1000
Subject: [PATCH] Merge pull request #83 from
 SvenDowideit/start-migrating-to-jenkinsfile

Initial Jenkinsfile
(cherry picked from commit 9736bd57db38561847648a612867d0f0f9978836)
---
 Jenkinsfile                       | 8 ++++++++
 docs/governance/board-profiles.md | 4 ++--
 2 files changed, 10 insertions(+), 2 deletions(-)
 create mode 100644 Jenkinsfile

diff --git a/Jenkinsfile b/Jenkinsfile
new file mode 100644
index 0000000..86bce9d
--- /dev/null
+++ b/Jenkinsfile
@@ -0,0 +1,8 @@
+// Only run on Linux atm
+wrappedNode(label: 'linux') {
+  deleteDir()
+  stage "checkout"
+  checkout scm
+
+  documentationChecker("docs")
+}
diff --git a/docs/governance/board-profiles.md b/docs/governance/board-profiles.md
index ca7eb7a..fb88f73 100644
--- a/docs/governance/board-profiles.md
+++ b/docs/governance/board-profiles.md
@@ -48,7 +48,7 @@ and community of the Docker Project.
 * Michael Crosby
 * Steve Francia
 * Stephen Day
-* Arnaud Poterie
+* Arnaud Porterie
 
 ## Individual Contributors
 
@@ -64,7 +64,7 @@ and community of the Docker Project.
 * Ahmet Alp Balkan (Microsoft)
 * Rohit Jnagal (Google)
 
-## User
+## Users
 
 * Nicola Paolucci (Atlassian)
 * Burke Libbey (Shopify)