diff --git a/docs/ProgrammersManual.html b/docs/ProgrammersManual.html index a37eca2cb8a..d74a645558c 100644 --- a/docs/ProgrammersManual.html +++ b/docs/ProgrammersManual.html @@ -2999,9 +2999,9 @@ the lib/VMCore directory.