doc: dev: Minor change.

4c953d29 · Pierre-Antoine Rouby · 129e3f3f · 4c953d29
Commit 4c953d29 authored 1 year ago by Pierre-Antoine Rouby
Hide whitespace changes
Inline Side-by-side

Showing

with 1 addition and 1 deletion
+1 -1
--- 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