On Wed, 2016-05-18 at 11:23 +0200, Ralf Mardorf wrote: > sudo apt-get update && sudo apt-get dist-upgrade > > sudo apt-get build-dep webkitgtk > > apt-get -b webkitgtk && sudo dpkg -i *deb
apt-get -b source webkitgtk && sudo dpkg -i *deb I forgot "source" in the last line. _______________________________________________ evolution-list mailing list evolution-list@gnome.org To change your list options or unsubscribe, visit ... https://mail.gnome.org/mailman/listinfo/evolution-list
