#include <stdio.h>
#include "gpmdefs.h"

extern char ExeName[];
extern char *SpecialDefault;

static char *Helps[]=
{
	ExeName,
	" Options (debugging version)\n\n",
	"-o <file>   : send output to named file\n",
	"-s <special>: use <special> as delimeter chars\n",
	"-S <size>   : use a different stack size\n\n",
	"Compilation options: ",
#ifdef ESCAPE
	"ESCAPE ",
#endif
#ifdef CAREFUL
	"CAREFUL ",
#endif
#ifdef LINENUMBER
	"LINENUMBER ",
#endif
#ifdef FILENAME
	"FILENAME ",
#endif
#ifdef AUTHOR
	"AUTHOR",
#endif
#ifdef QUOTEM
	"QUOTEM ",
#endif
#ifdef DEBUG_MACROS
	"DEBUG_MACROS ",
#endif
#ifdef TUPLE_MACROS
	"TUPLE_MACROS ",
#endif
	NULL
} ;

void Help()
{
	char **s;

	s=Helps;
	while (*s!=NULL)
		fprintf(stderr,"%s",*s++);
  	fprintf(stderr,"VERBOSE=%d SPECIAL=\"%s\"\n\n",VERBOSE,SpecialDefault);
}