diff options
-rw-r--r-- | doc/conf.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/conf.py b/doc/conf.py index e2500dabe..b2c727a45 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -117,7 +117,7 @@ ptxdistCompilerName = gnu_target ptxdistCompilerVersion = toolchain[-2] ptxdistPlatformKernelRev = os.getenv("PTXCONF_KERNEL_VERSION") or "4.5" ptxdistPlatformKernelRevNext = "4.6" -ptxdistPlatformName = os.getenv("PTXCONF_PLATFORM") or "versatilepb" +ptxdistPlatformName = "platform-" + os.getenv("PTXCONF_PLATFORM") or "versatilepb" ptxdistPlatformVariant = "\ " ptxdistPlatformCollection = "\ " ptxdistVendorVersion = os.getenv("PTXDIST_VERSION_YEAR") + "." + os.getenv("PTXDIST_VERSION_MONTH") + "." + os.getenv("PTXDIST_VERSION_BUGFIX") |