From 064a6813034909ce148e90324ad24a17a82234bb Mon Sep 17 00:00:00 2001
From: Bastien Guerry <bzg@gnu.org>
Date: Fri, 30 Apr 2021 10:17:06 +0200
Subject: [PATCH] mk/*pl: Remove type="text/javascript" as it is unnecessary

* mk/mansplit.pl: Remove type="text/javascript" as it is
unnecessary.

* mk/guidesplit.pl: Ditto.

Reported-by: TEC <tecosaur@gmail.com>
Link: https://orgmode.org/list/874kkkxqma.fsf@gmail.com/
---
 mk/guidesplit.pl | 4 ++--
 mk/mansplit.pl   | 4 ++--
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/mk/guidesplit.pl b/mk/guidesplit.pl
index eef0f7ca9..fc92d2d5e 100755
--- a/mk/guidesplit.pl
+++ b/mk/guidesplit.pl
@@ -37,8 +37,8 @@ EOF
 
 $script = <<'EOF';
 </style><link rel="stylesheet" href="https://orgmode.org/org.css" type="text/css" />
-<script type="text/javascript" src="https://orgmode.org/org-keys.js"></script>
-<script type="text/javascript">
+<script src="https://orgmode.org/org-keys.js"></script>
+<script>
   <!--/*--><![CDATA[/*><!--*/
    OrgKeyReader.registerHref('h', 'index.html');
    OrgKeyReader.registerHref('t', 'index.html');
diff --git a/mk/mansplit.pl b/mk/mansplit.pl
index 0bf39b3ad..0dcb11bf0 100755
--- a/mk/mansplit.pl
+++ b/mk/mansplit.pl
@@ -45,8 +45,8 @@ EOF
 
 $script = <<'EOF';
 <link rel="stylesheet" href="https://orgmode.org/org-manual.css" type="text/css" />
-<script type="text/javascript" src="https://orgmode.org/org-keys.js"></script>
-<script type="text/javascript">
+<script src="https://orgmode.org/org-keys.js"></script>
+<script>
   <!--/*--><![CDATA[/*><!--*/
    OrgKeyReader.registerHref('h', 'index.html');
    OrgKeyReader.registerHref('t', 'index.html');