how do you double this recipe for caramelized onion pudding

I would double the ingredient quantities, do the onions in two skillets (or two consecutive batches) and bake in two gratin dishes.