Thanks, applied as f1161b95a536551c905047d0356ddcf2260282c0. Michael
[sent from post-receive hook] On Thu, 12 Sep 2024 14:11:39 +0200, Roland Hieber <[email protected]> wrote: > Update it to the current version. > > Signed-off-by: Roland Hieber <[email protected]> > Message-Id: <[email protected]> > Signed-off-by: Michael Olbrich <[email protected]> > > diff --git a/doc/conf.py b/doc/conf.py > index b1a6fe3293b6..9936c4f0dacc 100644 > --- a/doc/conf.py > +++ b/doc/conf.py > @@ -112,7 +112,7 @@ gnu_target = os.getenv("PTXCONF_GNU_TARGET") or > "arm-v7a-linux-gnueabihf" > try: > toolchain = > os.readlink(os.path.join(os.getenv("PTXDIST_PLATFORMDIR",""), > "selected_toolchain")).split("/") > except: > - toolchain = > "/opt/OSELAS.Toolchain-2022.10.0/arm-v7a-linux-gnueabihf/gcc-12.2.1-clang-15.0.2-glibc-2.36-binutils-2.39-kernel-6.0.5-sanitized/bin".split("/") > + toolchain = > "/opt/OSELAS.Toolchain-2023.07.1/arm-v7a-linux-gnueabihf/gcc-13.2.1-clang-16.0.6-glibc-2.37-binutils-2.40-kernel-6.3.6-sanitized/bin".split("/") > > ptxdistPlatformName = os.getenv("PTXCONF_PLATFORM", "example") > ptxdistPlatformDir = "platform-" + ptxdistPlatformName
