$doxywork = $currentdir+"doxywork/"
$srcman3 = $currentdir+usr_or_ja+"/man/man3/"
if usr_or_ja == "usr"
- $dstman3m = $currentdir+"/man/man3m/"
+ $dstman3m = $currentdir+"/usr/man3m/"
else
- $dstman3m = $currentdir+"/man/ja/man3m/"
+ $dstman3m = $currentdir+"/ja/man3m/"
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