> 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. Arno