diff --git a/Docs/manual.texi b/Docs/manual.texi
index 84322c0b9c7911ded6589749a33a69ac0ef99fbd..228ee716d68cc767fdd65a8a647b0e2d589146d7 100644
--- a/Docs/manual.texi
+++ b/Docs/manual.texi
@@ -38339,7 +38339,6 @@ innodb_log_group_home_dir = /dr3/iblogs
 #                                        .._log_arch_dir must be the same
 #                                        as .._log_group_home_dir
 innodb_log_arch_dir = /dr3/iblogs
-innodb_log_archive=0
 set-variable = innodb_log_files_in_group=3
 #                                        Set the log file size to about
 #                                        15 % of the buffer pool size