> 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 

Reply via email to