Do you actually need 1PPS for your application or some other frequency? If your needed frequency is high enough, you just need to lock a PLL for your output frequency to the 10MHz output, if you actually want something as slow as PPS, you just need a divide by 10,000,000 circuit or frequency synthesizer that takes the 10MHz as a reference.
I don't really know of one with an output where the PPS output is just a divided down output of the main OCXO, but I don't know the architecture of that many Rb oscillators - it's not hard to do, but I don't think most implementations bother because the short term phase drift on the PPS is going to be less than the GPS PPS doing the initial disciplining, so it's sort of clean enough.