From 7cca71037c0b599fe950f341ca0f32a9df3aa171 Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Sun, 14 Aug 2011 14:29:47 +0000
Subject: docu

---
 contrib/gnunet_janitor.py.in | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/contrib/gnunet_janitor.py.in b/contrib/gnunet_janitor.py.in
index c23cc2858..b1d15f3ad 100644
--- a/contrib/gnunet_janitor.py.in
+++ b/contrib/gnunet_janitor.py.in
@@ -18,6 +18,10 @@
 #    Boston, MA 02111-1307, USA.
 #
 # Finds any gnunet processes still running in the system and kills them
+#
+# gnunet janitor can be used by invoking `make' like this:
+# TESTS_ENVIRONMENT='${top_srcdir}/contrib/gnunet_janitor.py &&' make check
+
 from __future__ import print_function
 import os
 import re
@@ -59,4 +63,4 @@ def main ():
       os.kill (p[0], signal.SIGTERM)
 
 if __name__ == '__main__':
-  sys.exit (main ())
\ No newline at end of file
+  sys.exit (main ())
-- 
cgit v1.2.3