/* mappings of help texts to resources */
#define help_topics_button_label	resource._help_topics_button_label
#define help_intro		resource._help_intro 
#define help_general		resource._help_general;
#define help_hypertex		resource._help_hypertex;
#define help_othercommands	resource._help_othercommands;
#define help_pagemotion		resource._help_pagemotion;
#define help_sourcespecials	resource._help_sourcespecials;
