let main () =
  let force_pdg =
    Pdg_parameters.BuildAll.get ()
    || not (Datatype.String.Set.is_empty (Pdg_parameters.BuildFct.get ()))
  in
  if force_pdg then Pdg_parameters.BuildAll.output output