A script to build erldocs.com docs.