[gnome-builder] jedi: use .cache/gnome-builder/jedi/ for docs database

[Christian Hergert <chergert src gnome org>]

commit 9a6bcf360a3026c475e477a6112e64d4a101374e
Author: Christian Hergert <christian hergert me>
Date:   Mon Feb 29 15:36:22 2016 -0800

    jedi: use .cache/gnome-builder/jedi/ for docs database
    
    This should be in cache, since its totally fine if it gets deleted.

 plugins/jedi/jedi_plugin.py |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/plugins/jedi/jedi_plugin.py b/plugins/jedi/jedi_plugin.py
index 89d8d7f..ae83f92 100644
--- a/plugins/jedi/jedi_plugin.py
+++ b/plugins/jedi/jedi_plugin.py
@@ -190,7 +190,7 @@ class DocumentationDB(object):
     def open(self):
         "Open the DB (if needed)"
         if self.db is None:
-            doc_db_path = os.path.join(GLib.get_user_data_dir(), 'gnome-builder', 'jedi', 'girdoc.db')
+            doc_db_path = os.path.join(GLib.get_user_cache_dir(), 'gnome-builder', 'jedi', 'girdoc.db')
             try:
                 os.makedirs(os.path.dirname(doc_db_path))
             except: