mirror of
https://git.savannah.gnu.org/git/emacs/org-mode.git
synced 2024-08-25 03:02:52 +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/
64 lines
2.6 KiB
Perl
Executable file
64 lines
2.6 KiB
Perl
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">
|
|
<h2>Table of Contents</h2>
|
|
<div id="text-table-of-contents">
|
|
<ul>
|
|
<li><a name="Top" href="index.html#Top">Org Mode Compact Guide</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" href="Properties.html#Properties">7 Properties</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></ul>
|
|
</div>
|
|
</div>
|
|
</div>
|
|
EOF
|
|
|
|
$script = <<'EOF';
|
|
</style><link rel="stylesheet" href="https://orgmode.org/org.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";
|
|
}
|