sat #8544 : doc improvement

[tools/sat.git] / doc / rst_prolog.rst

diff --git a/doc/rst_prolog.rst b/doc/rst_prolog.rst
index 55ae5aefcc5d65ff8398f4f2f32478ea9749bd5c..43d943b309c56ed7743bfec29f65d74848035b5e 100644 (file)
--- a/doc/rst_prolog.rst
+++ b/doc/rst_prolog.rst
@@ -17,7 +17,6 @@
 .. _Git: https://git-scm.com
 .. _GitCheatSheet: https://services.github.com/kit/downloads/github-git-cheat-sheet.pdf
 .. _SatCheatSheet: ../sat-cheat-sheet.pdf
-.. _SatPdf: ./../latex/salomeTools.pdf
 .. _CLI: https://en.wikipedia.org/wiki/Command-line_interface
 .. _Tar: https://en.wikipedia.org/wiki/Tar_(computing)
 .. _OS: https://en.wikipedia.org/wiki/Operating_system