What happens if the deck runs out in Texas Hold'em?

Tex answers this question about rules poker. This answer will be filled in by the content generation pipeline.