[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <ZP1DsYlG+R/Y9fjr@casper.infradead.org>
Date: Sun, 10 Sep 2023 05:18:57 +0100
From: Matthew Wilcox <willy@...radead.org>
To: Oliver Faso <erer1243@...il.com>
Cc: Jonathan Corbet <corbet@....net>, linux-doc@...r.kernel.org,
linux-kernel@...r.kernel.org
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)
Powered by blists - more mailing lists