end
$sampledir="sample/man3/"
+$headfile = $currentdir+"manhead"
+headbuf = open($headfile, "r").readlines
+
#
# Extra information about header strings Doxygen generates in a man file.
#
end
filetowrite = open($dstman3m+filename,"w")
+ filetowrite.puts(headbuf)
filetowrite.puts(buf)
filetowrite.flush
end