5 with
open(sys
.argv
[2], "w") as o
:
6 with
open(sys
.argv
[1], "r") as f
:
7 for line
in f
.readlines():
8 if not line
.startswith("[[!inline"):
12 # assume first thing is pagename
13 line
= line
.split('"')
16 if fname
.endswith(".py"):
17 if fname
.startswith("gf_reference"):
18 with
open("../../nmigen-gf/"+fname
) as inc
:
21 with
open("../%s.mdwn" % fname
) as inc
: