Functions in conf/tools/doconf

• while conf/tools/doconf/doconf.csh:40