From 4c953d29fe943ce519b4cc0e2c3a8ec7eafceb45 Mon Sep 17 00:00:00 2001
From: Pierre-Antoine Rouby <pierre-antoine.rouby@inrae.fr>
Date: Mon, 18 Sep 2023 10:39:03 +0200
Subject: [PATCH] doc: dev: Minor change.

---
 doc/dev/documentation.org | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/dev/documentation.org b/doc/dev/documentation.org
index 5df82310..29176044 100644
--- a/doc/dev/documentation.org
+++ b/doc/dev/documentation.org
@@ -269,7 +269,7 @@ documentation. In document, use ={{{cite(<name>)}}}= to cite a paper.
 
 ** Export
 
-To export the files, a {{{build.sh}}} script is available in the org
+To export the files, a {{{file(build.sh)}}} script is available in the org
 files directories. On GNU/Linux system you can build the documentation
 PDF file with the command =./build.sh=. Texlive package must be
 installed, you can install only needed packages or all texlive
-- 
GitLab