branch: externals/org
commit 064a6813034909ce148e90324ad24a17a82234bb
Author: Bastien Guerry <[email protected]>
Commit: Bastien Guerry <[email protected]>
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 <[email protected]>
Link: https://orgmode.org/list/[email protected]/
---
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 eef0f7c..fc92d2d 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 0bf39b3..0dcb11b 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');