.. # This file is a placeholder and will be replaced

gnatdoc
#######