specenum.h functions not marked for doxygen
Function headers generated by generate_specenum.py have no "**//**" -part.
Function headers generated by generate_specenum.py have no "**//**" -part.