added all the extra stuff generated by sphinx