Build the documentation from Huiming Teo's changes.