gtags_delete      672 gtags/gtags.c  		gtags_delete(gtop, deleteset);
gtags_delete      113 libutil/gtagsop.h void gtags_delete(GTOP *, IDSET *);