Messages in this thread | | | Date | Sun, 10 Sep 2023 05:18:57 +0100 | From | Matthew Wilcox <> | Subject | Re: [PATCH] docs/sphinx: Explicitly convert Sphinx paths to str |
| |
On Sun, Sep 10, 2023 at 12:08:06AM -0400, Oliver Faso wrote: > else: > - doc = env.srcdir + "/" + env.docname + ":" + str(self.lineno) > + doc = str(env.srcdir) + "/" + env.docname + ":" + str(self.lineno)
Would we be better off doing the path manipulation in Path, then converting to string? ie:
doc = str(env.srcdir / env.docname) + ":" + str(self.lineno)
| |