From db7d53b2eb2fe85beaa68e442d1e78787c3822c6 Mon Sep 17 00:00:00 2001
From: handa <handa>
Date: Mon, 14 Jul 2003 03:52:03 +0000
Subject: [PATCH] *** empty log message ***

---
 utils/mkman.rb |    4 ++++
 1 file changed, 4 insertions(+)

diff --git a/utils/mkman.rb b/utils/mkman.rb
index 00866d4..303fc78 100644
--- a/utils/mkman.rb
+++ b/utils/mkman.rb
@@ -19,6 +19,9 @@ else
 end
 $sampledir="sample/man3/"
 
+$headfile = $currentdir+"manhead"
+headbuf = open($headfile, "r").readlines
+
 #
 # Extra information about header strings Doxygen generates in a man file.
 #
@@ -469,6 +472,7 @@ unless FileTest.directory? filename
       end
 
      filetowrite = open($dstman3m+filename,"w")
+     filetowrite.puts(headbuf)
      filetowrite.puts(buf)
      filetowrite.flush
 end
-- 
1.7.10.4