diff --git a/docs/ProgrammersManual.html b/docs/ProgrammersManual.html index 58ad5a1bce5..26208f5b000 100644 --- a/docs/ProgrammersManual.html +++ b/docs/ProgrammersManual.html @@ -161,7 +161,7 @@ the subject that you can get, so it will not be discussed in this document.
Here are some useful links: