diff --git a/pocco b/pocco index 0282f1a..3a9eb21 100755 --- a/pocco +++ b/pocco @@ -52,6 +52,9 @@ def parse(source, code): if lines[0].startswith("#!"): lines.pop(0) + if language["name"] == "python" and lines[0].startswith("# -*- coding:"): + lines.pop(0) + def save(docs, code): sections.append({ "docs_text": docs,