Remove some make-docfile.c undes that are no longer needed