diff --git a/doc/dev/documentation.org b/doc/dev/documentation.org index 5df823102cd39b73f396a37d16cbec703a886081..2917604406c5293b500e4579ff046d1bb09dc10c 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