Fix generation of documentation to rust-ci; add URL.