diff options
author | Bastien Guerry <bzg@altern.org> | 2011-12-13 00:21:16 +0100 |
---|---|---|
committer | Bastien Guerry <bzg@altern.org> | 2011-12-13 00:21:16 +0100 |
commit | 9d51ba9b13b4bb1fcfbed458e07fd79a3d87ddf6 (patch) | |
tree | 569a8a6d58aa7a030e4acc28385c9603b78a49c3 | |
parent | 83d1c71bd72185ff32c4f61610f8f2109b09d057 (diff) |
UTILITIES: Use a separate css for the HTML manuals.
-rwxr-xr-x | UTILITIES/manfull.pl | 2 | ||||
-rwxr-xr-x | UTILITIES/mansplit.pl | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/UTILITIES/manfull.pl b/UTILITIES/manfull.pl index 83c61e162..bea192fbb 100755 --- a/UTILITIES/manfull.pl +++ b/UTILITIES/manfull.pl @@ -9,7 +9,7 @@ open OUT,">$page" or die "Cannot write to $page\n"; while (<IN>) { if (/<meta http-equiv="Content-Style-Type" content="text\/css">/) { print OUT; - print OUT '<link rel="stylesheet" href="http://orgmode.org/org.css" type="text/css" />'; + 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">'; diff --git a/UTILITIES/mansplit.pl b/UTILITIES/mansplit.pl index 5e10047d3..e24b34fea 100755 --- a/UTILITIES/mansplit.pl +++ b/UTILITIES/mansplit.pl @@ -43,7 +43,7 @@ EOF $script = <<'EOF'; -<link rel="stylesheet" href="http://orgmode.org/org.css" type="text/css" /> +<link rel="stylesheet" href="http://orgmode.org/org-manual.css" type="text/css" /> <script type="text/javascript" src="http://orgmode.org/org-keys.js"></script> <script type="text/javascript"> <!--/*--><![CDATA[/*><!--*/ |