aboutsummaryrefslogtreecommitdiff
path: root/doc/man/gnunet-timeout.1
diff options
context:
space:
mode:
Diffstat (limited to 'doc/man/gnunet-timeout.1')
-rw-r--r--doc/man/gnunet-timeout.120
1 files changed, 20 insertions, 0 deletions
diff --git a/doc/man/gnunet-timeout.1 b/doc/man/gnunet-timeout.1
new file mode 100644
index 000000000..e413254f4
--- /dev/null
+++ b/doc/man/gnunet-timeout.1
@@ -0,0 +1,20 @@
1.TH GNUNET\-TIMOUET 1 "Jun 5, 2018" "GNUnet"
2
3.SH NAME
4gnunet\-timeout \- run process with timeout
5
6.SH SYNOPSIS
7.B gnunet\-timeout
8.RI TIMEOUT PROGRAM ARGS
9.br
10
11.SH DESCRIPTION
12\fBgnunet\-timeout\fP can be used to run another process with a
13timeout. Provided as the standard "timout" utility may not be
14available on all platforms.
15
16.SH BUGS
17Report bugs by using Mantis <https://gnunet.org/bugs/> or by sending electronic mail to <gnunet\-developers@gnu.org>
18
19.SH SEE
20timeout(1)