From 52c466cef1402abc7b336b4e6603617f6f435959 Mon Sep 17 00:00:00 2001
From: u0140201 <wouter.vanassche@kuleuven.be>
Date: Thu, 7 Dec 2023 15:43:12 +0100
Subject: [PATCH] add note on devtools version

---
 source/software/r_devtools.rst | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/source/software/r_devtools.rst b/source/software/r_devtools.rst
index 4ba1b5fbb..fd364fd25 100644
--- a/source/software/r_devtools.rst
+++ b/source/software/r_devtools.rst
@@ -15,6 +15,15 @@ devtools_ documentation for examples of other repositories.
 Depending on how your R library is managed, you will need a slightly different
 approach to use or install devtools.
 
+.. note::
+
+  When consulting the devtools documentation, make sure that it is the correct version!
+  It should match the module devtools version. To check what devtools version is installed:
+
+  .. code-block:: r
+    
+    library(devtools)
+    sessioninfo::session_info()
 
 Installing in a local R library
 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~