diff --git a/export.py b/export.py
index aaef110..04601a4 100755
--- 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")