Richard Biener <richard.guent...@gmail.com> writes: > On Mon, Oct 10, 2022 at 5:36 PM Gaius Mulley via Gcc-patches > <gcc-patches@gcc.gnu.org> wrote: >> >> >> >> This patch set contains the non machine generated changes found in / >> for example the language die and documentation changes. It also >> contains the changes to the top level build Makefile infastructure >> and the install.texi sourcebuild.texi documentation. > > I couldn't spot any issue besides the docs now being written in > Sphinx, so this part > is OK (with the docs ported)
awesome, many thanks - I'm working on the tool (gcc/m2/tools-src/def2doc.py) which generates Sphinx from the modula-2 library sources and should post this in a few days time, regards, Gaius
