diff options
| -rwxr-xr-x | doc/resolve-asciidoc-refs.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/resolve-asciidoc-refs.py b/doc/resolve-asciidoc-refs.py index 0e8bebc..d661c56 100755 --- a/doc/resolve-asciidoc-refs.py +++ b/doc/resolve-asciidoc-refs.py @@ -11,7 +11,7 @@ complete_file = "" for line in open(sys.argv[1], "r"): complete_file += line -for m in re.findall("\[\[(.+)\]\]\n=+ ([^\n]+)", complete_file): +for m in re.findall("\\[\\[(.+)\\]\\]\n=+ ([^\n]+)", complete_file): ref, title = m refs["<<" + ref + ">>"] = "<<" + ref + ", " + title + ">>" |