Update doc.yaml

master branch missing: use devel instead