From ec382281185816ab1c2f7cfaf4620f98795f7ede Mon Sep 17 00:00:00 2001
From: Antonin Descampe <antonin@gmail.com>
Date: Thu, 8 Dec 2016 12:24:53 +0100
Subject: [PATCH] Update default.html

---
 _includes/themes/twitter/default.html | 1 +
 1 file changed, 1 insertion(+)

diff --git a/_includes/themes/twitter/default.html b/_includes/themes/twitter/default.html
index c54e9d33..60cce26a 100644
--- a/_includes/themes/twitter/default.html
+++ b/_includes/themes/twitter/default.html
@@ -67,6 +67,7 @@
         <h2>Documentation</h2>
           <p><a href="{{ site.docInstallURL }}">Build / Installation</a></p>
           <p><a href="{{ site.docUsageURL }}">Usage</a></p>
+	  <p><a href="{{ site.openjpipURL }}">OpenJPIP</a></p>
       </div>
 
       <div class="sidebar">