Re-introduced notes for using the file manager to set the

"Don't ask options to launch executable file" option for the
Desktop Icon.

diff --git a/release/documentation/Linux-CompileFromSources.odt b/release/documentation/Linux-CompileFromSources.odt
index 2f7c5f8d1d31519df77e360d7c4ec1c344a400d4..1e7819b3fa1b16418aaad935568e3797ef5fa0d5 100644 (file)
Binary files a/release/documentation/Linux-CompileFromSources.odt and b/release/documentation/Linux-CompileFromSources.odt differ

diff --git a/release/documentation/Linux-CompileFromSources.pdf b/release/documentation/Linux-CompileFromSources.pdf
index d93c67051b42cee987c4e170b623496ec816c9de..0f71072062d9ac45cbc15d994a4f7a4cfbcd13e2 100644 (file)
Binary files a/release/documentation/Linux-CompileFromSources.pdf and b/release/documentation/Linux-CompileFromSources.pdf differ