From a39509678eaec6877c32dbd0d2403c7d405070cc Mon Sep 17 00:00:00 2001
From: Frank Taillandier <frank.taillandier@gmail.com>
Date: Mon, 3 Aug 2020 12:01:08 +0200
Subject: [PATCH] fix: W3C HTML5 Validator warning The type attribute is
 unnecessary for JavaScript resources.

---
 docs/_includes/search/script.html | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/docs/_includes/search/script.html b/docs/_includes/search/script.html
index f770c63a..dca756d7 100644
--- a/docs/_includes/search/script.html
+++ b/docs/_includes/search/script.html
@@ -1,5 +1,5 @@
-<script type="text/javascript" src="https://cdn.jsdelivr.net/npm/docsearch.js@2/dist/cdn/docsearch.min.js"></script>
-<script type="text/javascript"> docsearch({
+<script src="https://cdn.jsdelivr.net/npm/docsearch.js@2/dist/cdn/docsearch.min.js"></script>
+<script> docsearch({
 apiKey: '50fe39c839958dfad797000f33e2ec17',
 indexName: 'jekyllrb',
 inputSelector: '#docsearch-input',