Headers/robo_end [ Variables ]
NAME
robo_end[] -- the distinct robodoc end marker -
alternative to using end_markers
FUNCTION
This is an alternative to using end_markers - sometimes ROBODOC confuses asterisks commonly used in comments as an end marker. To use this footer instead of end_markers use the -rh switch.
NOTE
Added by David Druffner.
SOURCE
char *robo_end[] = { "/*ROBODOC_END*", "*ROBODOC_END*", NULL };