diff options
Diffstat (limited to 'doc/conf.py')
| -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 1fa5bbb62..417e14992 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -106,7 +106,7 @@ try: except: toolchain = "/opt/OSELAS.Toolchain-2014.12.2/arm-v5te-linux-gnueabi/gcc-4.9.2-glibc-2.20-binutils-2.24-kernel-3.16-sanitized/bin".split("/") -ptxdistPlatformDir = "``platform-" + os.getenv("PTXCONF_PLATFORM", "versatilepb") + "``" +ptxdistPlatformDir = "platform-" + os.getenv("PTXCONF_PLATFORM", "versatilepb") oselasTCNarch = gnu_target.split("-")[0] oselasTCNvariant = gnu_target.split("-")[1] oselasTCNVendorVersion = toolchain[-4].split("-")[1] |