[jhbuild] Add INFOPATH

[Craig Keogh <cskeogh src gnome org>]

commit 1972ff2a405444dfe61049539185fbdcb6e216f9
Author: Christian Persch <chpe gnome org>
Date:   Tue May 10 14:20:34 2011 +0200

    Add INFOPATH
    
    Bug #649888.

 jhbuild/config.py |    4 ++++
 1 files changed, 4 insertions(+), 0 deletions(-)
---
diff --git a/jhbuild/config.py b/jhbuild/config.py
index f13e303..315eda2 100644
--- a/jhbuild/config.py
+++ b/jhbuild/config.py
@@ -336,6 +336,10 @@ class Config:
         addpath('MANPATH', '')
         addpath('MANPATH', manpathdir)
 
+        # INFOPATH
+        infopathdir = os.path.join(self.prefix, 'share', 'info')
+        addpath('INFOPATH', infopathdir)
+
         # PKG_CONFIG_PATH
         if os.environ.get('PKG_CONFIG_PATH') is None:
             # add system pkgconfig lookup-directories by default, as pkg-config