diff options
author | DarkFreedman <misterdark@mail.ru> | 2019-10-04 13:25:04 +0300 |
---|---|---|
committer | DarkFreedman <misterdark@mail.ru> | 2019-10-04 13:25:04 +0300 |
commit | 6b0f0dee0dd42aebd05ef612bc8069361d06e487 (patch) | |
tree | 6ab44fb49bf3359e3803181dcd3ab9e1df6a65e4 /doc/go.awk | |
parent | 2e803db13067e702208818c79d70bd0ad1b13370 (diff) | |
parent | 291a9758a2b6dad177c43ee435a68dcd46959496 (diff) |
Merge remote-tracking branch 'upstream/master'
Update to latest version
Diffstat (limited to 'doc/go.awk')
-rw-r--r-- | doc/go.awk | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/doc/go.awk b/doc/go.awk new file mode 100644 index 0000000..bcd4a7c --- /dev/null +++ b/doc/go.awk @@ -0,0 +1,13 @@ +BEGIN { show = 0 ; print "/*" } + +/^\-/ { trim = 1 ; print "" } + +/^Package/ { show = 1 } + +!NF { trim = 0 } + +trim { sub("^ +", "", $0) } + +show { print $0 } + +END { print "*/\npackage " package_name } |