finished describing the syntax of the CONFIGFILE