On Tue, 4 Feb 2025, Jonathan Wakely wrote: : >> ./gnat_ugn/_static/ >> ./libgccjit/_static/ >> ./libgdiagnostics/_static/ >> ./libgomp/_static/ : > N.B. there's ./jit/_static which should stay, because jit still uses > sphinx for its docs.
I noticed onlinedocs/libgccjit/_static and it's parent onlinedocs/libgccjit have not been updated since 14 Nov 2022, which was the day of the attempted wholesale conversion to Sphinx. Is onlinedocs/libgccjit just how what is now onlinedocs/jit would have been called after the conversion and should be removed? Gerald
