From f1549426d68556ef0ea952c67d2c9f6827ee9c64 Mon Sep 17 00:00:00 2001 From: Juergen Borleis Date: Fri, 17 Jun 2016 10:58:28 +0200 Subject: The platform name mostly includes the 'platform-' string Signed-off-by: Juergen Borleis --- doc/conf.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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") -- cgit v1.2.3