Adding link to the main help page
i found out that the code above create automatically a link in the main help page, as long as the .info file indicate 


  name: AMU HAL


and not 


  name: 'AMU HAL'