Browse Source

UTILITIES: Use a separate css for the HTML manuals.

Bastien Guerry 7 years ago
parent
commit
9d51ba9b13
2 changed files with 2 additions and 2 deletions
  1. 1 1
      UTILITIES/manfull.pl
  2. 1 1
      UTILITIES/mansplit.pl

+ 1 - 1
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">';

+ 1 - 1
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[/*><!--*/