Re: [ptxdist] [PATCH 1/3] doc: fix CSS/JS files not getting picked up by sphinx 5.3.0

2023-05-15 Thread Gavin Schenk
Hi, > On Sat, May 06, 2023 at 10:22:21PM +0200, Roland Hieber wrote: >> Somewhen between v3.4.3 (Debian bullseye) and v5.3.0 (Debian bookworm), >> sphinx stopped picking up our CSS and JS files from the html_context, >> which has the effect that the styling of the HTML documentation looks >> very

Re: [ptxdist] [PATCH 1/3] doc: fix CSS/JS files not getting picked up by sphinx 5.3.0

2023-05-15 Thread Jonas Schmidt
On Sat, May 06, 2023 at 10:22:21PM +0200, Roland Hieber wrote: > Somewhen between v3.4.3 (Debian bullseye) and v5.3.0 (Debian bookworm), > sphinx stopped picking up our CSS and JS files from the html_context, > which has the effect that the styling of the HTML documentation looks > very broken

[ptxdist] [PATCH 1/3] doc: fix CSS/JS files not getting picked up by sphinx 5.3.0

2023-05-06 Thread Roland Hieber
Somewhen between v3.4.3 (Debian bullseye) and v5.3.0 (Debian bookworm), sphinx stopped picking up our CSS and JS files from the html_context, which has the effect that the styling of the HTML documentation looks very broken when built with sphinx 5.3.0. Instead of injecting the CSS and JS files