diff options
| -rw-r--r-- | doc/conf.py | 4 | ||||
| -rw-r--r-- | doc/user_manual.inc | 7 |
2 files changed, 7 insertions, 4 deletions
diff --git a/doc/conf.py b/doc/conf.py index 4a47d8159..1424c4511 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -106,7 +106,8 @@ try: except: toolchain = "/opt/OSELAS.Toolchain-2016.06.1/arm-v5te-linux-gnueabi/gcc-5.4.0-glibc-2.23-binutils-2.26-kernel-4.6-sanitized/bin".split("/") -ptxdistPlatformDir = "platform-" + os.getenv("PTXCONF_PLATFORM", "versatilepb") +ptxdistPlatformName = os.getenv("PTXCONF_PLATFORM", "versatilepb") +ptxdistPlatformDir = "platform-" + ptxdistPlatformName oselasTCNarch = gnu_target.split("-")[0] oselasTCNvariant = gnu_target.split("-")[1] oselasTCNVendorVersion = toolchain[-4].split("-")[1] @@ -130,6 +131,7 @@ except: pass replace_dict = { + b"|ptxdistPlatformName|": ptxdistPlatformName, b"|ptxdistPlatformDir|": ptxdistPlatformDir, b"|oselasTCNarch|": oselasTCNarch, b"|oselasTCNvariant|": oselasTCNvariant, diff --git a/doc/user_manual.inc b/doc/user_manual.inc index e41995782..9f78f5b46 100644 --- a/doc/user_manual.inc +++ b/doc/user_manual.inc @@ -316,8 +316,8 @@ Selecting a Userland Configuration First of all we have to select a userland configuration. This step defines what kind of applications will be built for the hardware -platform. The comes with a predefined configuration we select in the -following step: +platform. The |ptxdistBSPName| project comes +with a predefined configuration we select in the following step: :: @@ -329,7 +329,8 @@ Selecting a Hardware Platform ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Before we can build this BSP, we need to select one of the possible -platforms to build for. In this case we want to build for the : +platforms to build for. In this case we want to build for the +|ptxdistPlatformName|: :: |