diff --git a/documentation/ref-manual/ref-variables.xml b/documentation/ref-manual/ref-variables.xml index 1dbbe30819..519eadc43c 100644 --- a/documentation/ref-manual/ref-variables.xml +++ b/documentation/ref-manual/ref-variables.xml @@ -5495,7 +5495,7 @@ Specifies the name of the vendor. HOST_VENDOR is normally the same as - TARGET_VENDOR. + TARGET_VENDOR.