- puts $file(outc) "/* ${greeting} ${yc_version} */"
- puts $file(outc) "/* Module-C: $inf(module) */"
+ puts $file(outc) "/** \\file $inf(c-file)"
+ puts $file(outc) " \\brief ASN.1 Module $inf(module)"
+ puts $file(outc) ""
+ puts $file(outc) " ${greeting} ${yc_version}"
+ puts $file(outc) "*/"