From 41c769ab5c19da92ecba35d9accc4bc123029e8d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lo=C3=AFc=20Hoguin?= <essen@ninenines.eu>
Date: Tue, 23 May 2017 20:47:46 +0200
Subject: Remove the use of bootstrap-carousel

The custom.js file was converted to not use jquery also. Once
bootstrap is gone, we can remove jquery entirely.
---
 docs/en/cowboy/2.0/guide/specs/index.html | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'docs/en/cowboy/2.0/guide/specs/index.html')

diff --git a/docs/en/cowboy/2.0/guide/specs/index.html b/docs/en/cowboy/2.0/guide/specs/index.html
index cd3aecb6..67453e7b 100644
--- a/docs/en/cowboy/2.0/guide/specs/index.html
+++ b/docs/en/cowboy/2.0/guide/specs/index.html
@@ -434,6 +434,11 @@ for or related to HTTP.</p></div>
 </li>
 <li>
 <p>
+<a href="https://tools.ietf.org/html/rfc8164">RFC 8164</a>: Opportunistic Security for HTTP/2
+</p>
+</li>
+<li>
+<p>
 <a href="https://www.w3.org/TR/webmention/">Webmention</a>: Webmention
 </p>
 </li>
@@ -967,7 +972,6 @@ for or related to HTTP.</p></div>
 
     
     <script src="https://ajax.googleapis.com/ajax/libs/jquery/1.7.1/jquery.min.js"></script>
-    <script src="/js/bootstrap-carousel.js"></script>
     <script src="/js/bootstrap-dropdown.js"></script>
     <script src="/js/custom.js"></script>
   </body>
-- 
cgit v1.2.3