a python implementation of generating the langref content from this grammar.y
a python implementation of generating the langref content from this grammar.y
a python implementation of generating the langref content from this grammar.y
@ -0,0 +6,4 @@
import argparse
parser = argparse.ArgumentParser()
parser.add_argument("--push", action="store_true")
parser.add_argument("langref", metavar="langref.html.in")
Would it be easier to do requests.get("http://ziglang.org/,../langref.html")? That way there is less setup for the script.
30+ old day draft; closing
No due date set.
No dependencies set.
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?