Add `source' and `doc' options