Export compiler.toml

1 year ago · 9c66b18cfe
1 changed files with 1 additions and 0 deletions
--- a/export.py
+++ b/export.py
@ -28,6 +28,7 @@ os.mkdir("build")

 shutil.copy("articles.db", "build/articles.db")
 shutil.copy("sources.toml", "build/sources.toml")
+shutil.copy("compiler.toml", "build/compiler.toml")
 shutil.copy("model.gptc", "build/model.gptc")

 con = sqlite3.Connection("build/articles.db")