./Source/headers.c

Headers/robo_header [ Variables ]

NAME

robo_header -- the distinct robodoc header -

                  alternative to using header_markers

FUNCTION

This is an alternative to using header_markers - sometimes ROBODOC confuses asterisks commonly used in comments as a header. To use this header instead of header_markers use the -rh switch.

NOTE

Added by David Druffner. OBSOLETE

SOURCE

char               *robo_header = "/*ROBODOC*"; /* TODO Remove */