diff options
Diffstat (limited to 'doc/manual.cli')
| -rw-r--r-- | doc/manual.cli | 4 |
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 \ |