[gnome-builder] (2 commits) ...Merge branch 'dont-install-doctrees' of gitlab.gnome.org:jelly/gnome-builder

From: Christian Hergert <chergert src gnome org>
To: commits-list gnome org
Cc:
Subject: [gnome-builder] (2 commits) ...Merge branch 'dont-install-doctrees' of gitlab.gnome.org:jelly/gnome-builder
Date: Mon, 22 Jun 2020 19:11:25 +0000 (UTC)

Summary of changes:

  1ea2af4... Don't install sphinx cache directory
  f7cb219... Merge branch 'dont-install-doctrees' of gitlab.gnome.org:je