diff options
Diffstat (limited to 'lib/reltool/doc')
-rw-r--r-- | lib/reltool/doc/src/reltool_examples.xml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/lib/reltool/doc/src/reltool_examples.xml b/lib/reltool/doc/src/reltool_examples.xml index 3888b643a2..11cd7d9657 100644 --- a/lib/reltool/doc/src/reltool_examples.xml +++ b/lib/reltool/doc/src/reltool_examples.xml @@ -42,11 +42,11 @@ is or be used via the GUI frontend process. When the GUI is started, a server process will automatically be started. The GUI process is started with - <seealso marker="reltool#start-0"><c>reltool:start/0</c></seealso>, - <seealso marker="reltool#start-1"><c>reltool:start/1</c></seealso> or - <seealso marker="reltool#start_link-1"><c>reltool:start_link/1</c></seealso>. + <seealso marker="reltool#start/0"><c>reltool:start/0</c></seealso>, + <seealso marker="reltool#start/1"><c>reltool:start/1</c></seealso> or + <seealso marker="reltool#start_link/1"><c>reltool:start_link/1</c></seealso>. The pid of its server can be obtained with - <seealso marker="reltool#start_link-1"><c>reltool:get_server/1</c></seealso> + <seealso marker="reltool#start_link/1"><c>reltool:get_server/1</c></seealso> </p> <pre> |