From 747ebb81c62a7a57fc8f8ab37563a598195a78c0 Mon Sep 17 00:00:00 2001
From: Alexandre Abadie <alexandre.abadie@inria.fr>
Date: Fri, 24 May 2019 14:27:52 +0200
Subject: [PATCH] CONTRIBUTING: update print toolchain versions command

---
 CONTRIBUTING.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index 580ec6d9fc..bd1da3f406 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -68,7 +68,7 @@ other contributors understand your issue and eventually reproduce it:
 To fill the `Versions` section, you can use the script provided in the RIOT git
 repository:
 ```
-./dist/tools/ci/print_toolchain_versions.sh
+make print-versions
 ```
 
 In summary, try to include as much information as possible, to help maintainers