doc: Fix distribution of generated manpages.

[tripe] / mon / tripemon.in

diff --git a/mon/tripemon.in b/mon/tripemon.in
index 0db0775247603f6c6f9d14010d65fb6fa90615dc..c7764108f88045fb2db6e5c2d348bf00717fe697 100644 (file)
--- a/mon/tripemon.in
+++ b/mon/tripemon.in
@@ -1261,7 +1261,7 @@ def main():
   global tripedir
   if 'TRIPEDIR' in environ:
     tripedir = environ['TRIPEDIR']
-  tripesock = '%s/%s' % (socketdir, 'tripesock')
+  tripesock = environ.get('TRIPESOCK', '%s/%s' % (socketdir, 'tripesock'))
 
   try:
     opts, args = O.getopt(argv[1:],