Add support for automating the documentation of HAL Links