Update bootDoc and make generation script use rdmd