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/
This commit is contained in:
Bastien Guerry 2021-04-30 10:17:06 +02:00
parent aea31b0656
commit 064a681303
2 changed files with 4 additions and 4 deletions

View File

@ -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');

View File

@ -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');