diff options
-rw-r--r-- | doc/user_images.inc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/user_images.inc b/doc/user_images.inc index 2e6d4fa9b..1dd904a46 100644 --- a/doc/user_images.inc +++ b/doc/user_images.inc @@ -29,4 +29,4 @@ following image types: - **root.tgz:** root files inside a plain gzip compressed tar ball. -All these files can be found in ``images`` if enabled. +All these files can be found in ``|ptxdistPlatformDir|/images`` if enabled. |