diff --git a/docs/ProgrammersManual.html b/docs/ProgrammersManual.html index 81e37f7e1b5..9ecafe5dc5f 100644 --- a/docs/ProgrammersManual.html +++ b/docs/ProgrammersManual.html @@ -1642,11 +1642,7 @@ the lib/VMCore directory.