tec/org-mode
tec
/
org-mode
forked from mirrors/org-mode
1
0
Fork 0
Code Pull Requests Releases Activity

UTILITIES/man*: Fix bug: don't insert </style>

This commit is contained in:
Bastien Guerry 2011-12-10 13:46:50 +01:00
parent a75e29ca5b
commit 4dfc520711
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
UTILITIES/manfull.pl
View File

@ -9,7 +9,7 @@ open OUT,">$page" or die "Cannot write to $page\n";
while (<IN>) { while (<IN>) {
if (/<meta http-equiv="Content-Style-Type" content="text\/css">/) { if (/<meta http-equiv="Content-Style-Type" content="text\/css">/) {
print OUT; print OUT;
print OUT '</style><link rel="stylesheet" href="http://orgmode.org/org.css" type="text/css" />'; print OUT '<link rel="stylesheet" href="http://orgmode.org/org.css" type="text/css" />';
} elsif (/<div class="contents">/) { } elsif (/<div class="contents">/) {
print OUT; print OUT;
print OUT '<div id="table-of-contents">'; print OUT '<div id="table-of-contents">';

2
UTILITIES/mansplit.pl
View File

@ -43,7 +43,7 @@ EOF
$script = <<'EOF'; $script = <<'EOF';
</style><link rel="stylesheet" href="http://orgmode.org/org.css" type="text/css" /> <link rel="stylesheet" href="http://orgmode.org/org.css" type="text/css" />
<script type="text/javascript" src="http://orgmode.org/org-keys.js"></script> <script type="text/javascript" src="http://orgmode.org/org-keys.js"></script>
<script type="text/javascript"> <script type="text/javascript">
<!--/*--><![CDATA[/*><!--*/ <!--/*--><![CDATA[/*><!--*/