diff options
author | Juergen Borleis <jbe@pengutronix.de> | 2016-06-17 10:58:28 +0200 |
---|---|---|
committer | Michael Olbrich <m.olbrich@pengutronix.de> | 2016-06-20 15:04:39 +0200 |
commit | f1549426d68556ef0ea952c67d2c9f6827ee9c64 (patch) | |
tree | 1a651e5879cf30d055824ca25a80915de14eaf5d | |
parent | c02234a054f61f7b034032bf262d8dddd002103e (diff) | |
download | ptxdist-f1549426d68556ef0ea952c67d2c9f6827ee9c64.tar.gz ptxdist-f1549426d68556ef0ea952c67d2c9f6827ee9c64.tar.xz |
The platform name mostly includes the 'platform-' string
Signed-off-by: Juergen Borleis <jbe@pengutronix.de>
-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") |