From 4dfc520711d04a9f9ec7c62993e19e3d6b3ae601 Mon Sep 17 00:00:00 2001
From: Bastien Guerry <bzg@altern.org>
Date: Sat, 10 Dec 2011 13:46:50 +0100
Subject: [PATCH] UTILITIES/man*: Fix bug: don't insert </style>

---
 UTILITIES/manfull.pl  | 2 +-
 UTILITIES/mansplit.pl | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/UTILITIES/manfull.pl b/UTILITIES/manfull.pl
index 60f126dfc..83c61e162 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 '</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">/) {
     print OUT;
     print OUT '<div id="table-of-contents">';
diff --git a/UTILITIES/mansplit.pl b/UTILITIES/mansplit.pl
index 0c14f3fa8..5e10047d3 100755
--- a/UTILITIES/mansplit.pl
+++ b/UTILITIES/mansplit.pl
@@ -43,7 +43,7 @@ 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">
   <!--/*--><![CDATA[/*><!--*/