Hi there,
I would do one of the following depending on how she wakes up.
1. If she woke up happy then I would just let her stay in the crib till feeding time. If she gets fussy before then, then just take her out to play then feed.
2. If she woke up crying then I would try to get her back to sleep. You can use any one of these methods: pat/shhh, pu/pd, firm hand, whatever you usually do to help her back to sleep. Just be consistent with the method you choose. Tracy says to do this for the rest of naptime and then feed. I usually only do this for about 10-15 min depending on how things progress.
At this age, dd was taking 2 - 1.5hr naps and a 45 min catnap at 5 pm and 11 hrs of nighttime. I'm a true believer in sleep begets sleep so I try to let dd sleep as much as she wants. Our days are never exactly the same give or take 30 min but as long as dd is happy then i'm happy.