From 35e2f8e2cf4a7bea8c889618cfdaf5d60a5935c2 Mon Sep 17 00:00:00 2001
From: Jan Siwiec <jan.siwiec@vsb.cz>
Date: Thu, 4 Mar 2021 10:35:58 +0100
Subject: [PATCH] updated the installed versions and user manual sections
 related to #68 and #73

---
 docs.it4i/software/debuggers/vampir.md | 13 +++++++------
 1 file changed, 7 insertions(+), 6 deletions(-)

diff --git a/docs.it4i/software/debuggers/vampir.md b/docs.it4i/software/debuggers/vampir.md
index faefddd63..8f2e9e037 100644
--- a/docs.it4i/software/debuggers/vampir.md
+++ b/docs.it4i/software/debuggers/vampir.md
@@ -8,18 +8,19 @@ Vampir is a commercial trace analysis and visualization tool. It works with trac
 
 ## Installed Versions
 
-```console
-$ ml av Vampir
-```
+For the current list of installed versions, use:
 
 ```console
-$ ml Vampir
-$ vampir &
+$ ml av Vampir
 ```
 
 ## User Manual
 
-You can find the detailed user manual in PDF format in $EBROOTVAMPIR/doc/vampir-manual.pdf
+To find the detailed user manual in PDF format, type
+
+```console
+$ ls $EBROOTVAMPIR/doc/vampir-manual.pdf
+```
 
 ## References
 
-- 
GitLab