This makes the @file documentation independent of the actual file name. Update #3707.
This patch is a part of the BSP source reorganization. Update #3285.