diff options
Diffstat (limited to 'extract_src.py')
| -rwxr-xr-x | extract_src.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/extract_src.py b/extract_src.py index 766bf1a..3fb5559 100755 --- a/extract_src.py +++ b/extract_src.py @@ -8,7 +8,7 @@ import re with open(sys.argv[1], "r") as inp: with open(sys.argv[2], "w") as out: in_src = False - startp = re.compile(r"^\s*#\+begin_src .* :tangle") + startp = re.compile(r"^\s*#\+begin_src") endp = re.compile(r"^\s*#\+end_src") quoted = re.compile(r"^\s*,(\*|,\*|#\+)") |