diff --git a/docs/book.toml b/docs/book.toml
index 41bf824..972586e 100644
--- a/docs/book.toml
+++ b/docs/book.toml
@@ -1,6 +1,5 @@
 [book]
 authors = ["Mark R. Tuttle"]
 language = "en"
-multilingual = false
 src = "src"
 title = "CBMC Proof Debugger"