Working on the cnfgen documentation.