summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBastien Guerry <bzg@altern.org>2012-04-30 18:28:31 +0200
committerBastien Guerry <bzg@altern.org>2012-04-30 18:28:31 +0200
commitad812d8cd10e363420be7ef86c57054c92f24a4c (patch)
tree78c15b73e28c6791dd62f4f062d65f98c7ac4d4c
parent99a5d6bea82f0f0a680d348d91c29416a6669d15 (diff)
downloadorg-mode-ad812d8cd10e363420be7ef86c57054c92f24a4c.tar.gz
UTILITIES/manfull.pl: mention http://orgmode.org
Thanks to Thierry Stoehr for suggesting this.
-rwxr-xr-xUTILITIES/manfull.pl4
1 files changed, 2 insertions, 2 deletions
diff --git a/UTILITIES/manfull.pl b/UTILITIES/manfull.pl
index bea192f..680b878 100755
--- a/UTILITIES/manfull.pl
+++ b/UTILITIES/manfull.pl
@@ -12,10 +12,10 @@ while (<IN>) {
print OUT '<link rel="stylesheet" href="http://orgmode.org/org-manual.css" type="text/css" />';
} elsif (/<div class="contents">/) {
print OUT;
- print OUT '<div id="table-of-contents">';
+ print OUT '<p>This is the official manual for the latest <a href="http://orgmode.org">Org-mode</a> release.</p><div id="table-of-contents">';
} elsif (/<h2>Table of Contents<\/h2>/) {
print OUT;
- print OUT '<div id="text-table-of-contents">';
+ print OUT '<a href="http://orgmode.org">http://orgmode.org</a><br/><div id="text-table-of-contents">';
$toc = 1;
} elsif (/<\/div>/ and $toc) {
print OUT "</div></div></div>";