aboutsummaryrefslogtreecommitdiff
path: root/doc/manual.cli
diff options
context:
space:
mode:
Diffstat (limited to 'doc/manual.cli')
-rw-r--r--doc/manual.cli4
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/manual.cli b/doc/manual.cli
index d7cf92f..e09aef8 100644
--- a/doc/manual.cli
+++ b/doc/manual.cli
@@ -6552,8 +6552,8 @@ config.cxx.aoptions
config.cxx.libs
cxx.libs
-config.cxx.translatable_headers
- cxx.translatable_headers
+config.cxx.translate_include
+ cxx.translate_include
\