diff --git a/.dockerignore b/.dockerignore
index d81f775..23e52b8 100644
--- a/.dockerignore
+++ b/.dockerignore
@@ -5,6 +5,9 @@
 # Ignore all markdown files (README.md, etc.)
 *.md
 
+# But do not ignore terms.md
+!terms.md
+
 # Ignore all log files
 *.log