mirror of
https://git.savannah.gnu.org/git/emacs/org-mode.git
synced 2024-08-25 13:02:51 +00:00
* 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/
72 lines
3.2 KiB
Raku
Executable file
72 lines
3.2 KiB
Raku
Executable file
#!/usr/bin/perl
|
|
# Work on the files that are created by makeinfo for html output
|
|
# split into many small files.
|
|
|
|
# This will walk though the files listed on the command line, install
|
|
# Sebastian Rose's key reader and add a small top-level-only table
|
|
# of contents that will be placed into a special region and visible
|
|
# in all subfiles. The small contents is a constant and has to be updated
|
|
# by hand, currently.
|
|
|
|
$contents = <<EOF;
|
|
<div id="table-of-contents">
|
|
<p>This is the official manual for the latest <a href="https://orgmode.org">Org-mode</a> release.</p>
|
|
<h2>Table of Contents</h2>
|
|
<div id="text-table-of-contents">
|
|
<ul>
|
|
<li><a name="Top" href="index.html#Top">Org Mode Manual</a>
|
|
<li><a name="Introduction" href="Introduction.html#Introduction">1 Introduction</a>
|
|
<li><a name="Document-Structure" href="Document-Structure.html#Document-Structure">2 Document Structure</a>
|
|
<li><a name="Tables" href="Tables.html#Tables">3 Tables</a>
|
|
<li><a name="Hyperlinks" href="Hyperlinks.html#Hyperlinks">4 Hyperlinks</a>
|
|
<li><a name="TODO-Items" href="TODO-Items.html#TODO-Items">5 TODO Items</a>
|
|
<li><a name="Tags" href="Tags.html#Tags">6 Tags</a>
|
|
<li><a name="Properties-and-Columns" href="Properties-and-Columns.html#Properties-and-Columns">7 Properties and Columns</a>
|
|
<li><a name="Dates-and-Times" href="Dates-and-Times.html#Dates-and-Times">8 Dates and Times</a>
|
|
<li><a name="Capture" href="Capture-_002d-Refile-_002d-Archive.html#Capture-_002d-Refile-_002d-Archive">9 Capture-Refile-Archive</a>
|
|
<li><a name="Agenda-Views" href="Agenda-Views.html#Agenda-Views">10 Agenda Views</a>
|
|
<li><a name="Markup" href="Markup.html#Markup">11 Markup</a>
|
|
<li><a name="Exporting" href="Exporting.html#Exporting">12 Exporting</a>
|
|
<li><a name="Publishing" href="Publishing.html#Publishing">13 Publishing</a>
|
|
<li><a name="Working-With-Source-Code" href="Working-With-Source-Code.html#Working-With-Source-Code">14 Source Code</a>
|
|
<li><a name="Miscellaneous" href="Miscellaneous.html#Miscellaneous">15 Miscellaneous</a>
|
|
<li><a name="Hacking" href="Hacking.html#Hacking">A Hacking</a>
|
|
<li><a name="MobileOrg" href="MobileOrg.html#MobileOrg">B MobileOrg</a>
|
|
<li><a name="History-and-Acknowledgments" href="History-and-Acknowledgments.html#History-and-Acknowledgments">C History and Thanks</a>
|
|
<li><a name="Main-Index" href="Main-Index.html#Main-Index">Main Index</a>
|
|
<li><a name="Key-Index" href="Key-Index.html#Key-Index">Key Index</a>
|
|
<li><a name="Variable-Index" href="Variable-Index.html#Variable-Index">Variable Index</a>
|
|
</li></ul>
|
|
</div>
|
|
</div>
|
|
</div>
|
|
EOF
|
|
|
|
|
|
$script = <<'EOF';
|
|
<link rel="stylesheet" href="https://orgmode.org/org-manual.css" type="text/css" />
|
|
<script src="https://orgmode.org/org-keys.js"></script>
|
|
<script>
|
|
<!--/*--><![CDATA[/*><!--*/
|
|
OrgKeyReader.registerHref('h', 'index.html');
|
|
OrgKeyReader.registerHref('t', 'index.html');
|
|
/*]]>*/-->
|
|
</script>
|
|
EOF
|
|
|
|
while ($page = shift) {
|
|
system "mv $page $page.orig";
|
|
open IN,"<$page.orig" or die "Cannot read from $page.orig\n";
|
|
undef $/;
|
|
$all = <IN>;
|
|
close IN;
|
|
|
|
$all =~ s/<meta http-equiv="Content-Style-Type" content="text\/css">/$&\n$script/;
|
|
$all =~ s/^<body>/<body onload="OrgKeyReader.init();">\n$contents/m;
|
|
|
|
open OUT,">$page" or die "Cannot write to $page\n";
|
|
print OUT $all;
|
|
close OUT;
|
|
system "rm $page.orig";
|
|
}
|