diff --git a/Doc/ref/ref.pdf b/Doc/ref/ref.pdf index 56016117f45..f31053f2a72 100644 Binary files a/Doc/ref/ref.pdf and b/Doc/ref/ref.pdf differ diff --git a/Doc/ref/refIX.doc b/Doc/ref/refIX.doc index adc3160fd54..4eb799fab81 100644 Binary files a/Doc/ref/refIX.doc and b/Doc/ref/refIX.doc differ diff --git a/Doc/ref/refTOC.doc b/Doc/ref/refTOC.doc index 8ae2400b201..8025cf77a55 100644 Binary files a/Doc/ref/refTOC.doc and b/Doc/ref/refTOC.doc differ