From 5d853e628e567509fd4c1865bd18eafc5558001d Mon Sep 17 00:00:00 2001
From: Jan Siwiec <jan.siwiec@vsb.cz>
Date: Thu, 4 Mar 2021 09:42:06 +0100
Subject: [PATCH] added installed versions section related to #68

---
 docs.it4i/software/debuggers/papi.md | 8 +++-----
 1 file changed, 3 insertions(+), 5 deletions(-)

diff --git a/docs.it4i/software/debuggers/papi.md b/docs.it4i/software/debuggers/papi.md
index 2c0edc267..a69f25dad 100644
--- a/docs.it4i/software/debuggers/papi.md
+++ b/docs.it4i/software/debuggers/papi.md
@@ -8,16 +8,14 @@ PAPI provides two levels of interface: a simpler high-level interface and more d
 
 PAPI can be used with parallel as well as serial programs.
 
-## Usage
+## Installed Versions
 
-To use PAPI, load the `papi` [module][1]:
+For the current list of installed versions, use:
 
 ```console
-$ ml papi
+$ ml av papi
 ```
 
-This will load the default version. Execute `ml av papi` for the list of installed versions.
-
 ## Utilities
 
 The bin directory of PAPI, which is automatically added to $PATH upon loading the module, contains various utilites.
-- 
GitLab