On 11/11/22 18:25, Arnaud Charlet wrote: > >> Similarly to other manuals, we should include the page >> in HTML builder. >> >> What Ada folks think about it? > > The latest changes have broken our build of the Ada doc at AdaCore so until > further notice, please do not make any additional changes to the Ada doc > while we review in details all the recent changes and find a way to recover, > thank you.
Hello. Sorry for the breakage. However, I contacted you (and your colleague) and haven't received any feedback for a couple of weeks. Martin > > Arno