aboutsummaryrefslogtreecommitdiff
path: root/doc/man/gnunet-arm.1
diff options
context:
space:
mode:
authorNils Gillmann <ng0@n0.is>2018-10-27 20:29:27 +0000
committerNils Gillmann <ng0@n0.is>2018-10-27 20:29:27 +0000
commitd269419d23e8c4c062e21e5bd88cdee66a1680b0 (patch)
treec9661262fee4604bd83b0bc739e7223c8cddfb0a /doc/man/gnunet-arm.1
parent4be442739c7f6745848a2f5544a59592f06a6cb3 (diff)
downloadgnunet-d269419d23e8c4c062e21e5bd88cdee66a1680b0.tar.gz
gnunet-d269419d23e8c4c062e21e5bd88cdee66a1680b0.zip
doc/man: More fixes.
Signed-off-by: Nils Gillmann <ng0@n0.is>
Diffstat (limited to 'doc/man/gnunet-arm.1')
-rw-r--r--doc/man/gnunet-arm.114
1 files changed, 4 insertions, 10 deletions
diff --git a/doc/man/gnunet-arm.1 b/doc/man/gnunet-arm.1
index fdcc7d820..0e7486d28 100644
--- a/doc/man/gnunet-arm.1
+++ b/doc/man/gnunet-arm.1
@@ -1,19 +1,14 @@
1.TH GNUNET\-ARM 1 "Jan 4, 2012" "GNUnet" 1.TH GNUNET\-ARM 1 "January 4, 2012" "GNUnet"
2
3.SH NAME 2.SH NAME
4gnunet\-arm \- control GNUnet services 3gnunet\-arm \- control GNUnet services
5
6.SH SYNOPSIS 4.SH SYNOPSIS
7.B gnunet\-arm 5.B gnunet\-arm
8.RI [ options ] 6.RI [ options ]
9.br
10
11.SH DESCRIPTION 7.SH DESCRIPTION
12\fBgnunet\-arm\fP can be used to start or stop GNUnet services, including 8\fBgnunet\-arm\fP can be used to start or stop GNUnet services, including
13the ARM service itself. The ARM service is a supervisor for GNUnet's 9the ARM service itself. The ARM service is a supervisor for GNUnet's
14service processes. ARM starts services on-demand or as configured and 10service processes. ARM starts services on-demand or as configured and
15re-starts them if they crash. 11re-starts them if they crash.
16
17.SH OPTIONS 12.SH OPTIONS
18.B 13.B
19.IP "\-c FILENAME, \-\-config=FILENAME" 14.IP "\-c FILENAME, \-\-config=FILENAME"
@@ -55,17 +50,16 @@ List all running services.
55.B 50.B
56.IP "\-v, \-\-version" 51.IP "\-v, \-\-version"
57Print GNUnet version number. 52Print GNUnet version number.
58
59
60.SH BUGS 53.SH BUGS
61Report bugs by using Mantis <https://gnunet.org/bugs/> or by sending 54Report bugs by using Mantis <https://gnunet.org/bugs/> or by sending
62electronic mail to <gnunet\-developers@gnu.org> 55electronic mail to <gnunet\-developers@gnu.org>
63
64.SH SEE ALSO 56.SH SEE ALSO
65gnunet\-config(1), gnunet\-setup(1) 57gnunet\-config(1), gnunet\-setup(1)
58.PP
66The full documentation for 59The full documentation for
67.B gnunet 60.B gnunet
68is maintained as a Texinfo manual. If the 61is maintained as a Texinfo manual.
62If the
69.B info 63.B info
70and 64and
71.B gnunet 65.B gnunet