[DistINI]
append_file = extra-dist.ini