doc: update to Fedora 20