docfunctions      259 scripts/basic/docproc.c void intfunc(char * filename) {	docfunctions(filename, NOFUNCTION); }
docfunctions      260 scripts/basic/docproc.c void extfunc(char * filename) { docfunctions(filename, FUNCTION);   }