/* docwin.c */
void showdocs(int atline);
void loaddocs(void);
void showxtrekrc(int atline);
void loadxtrekrc(void);