diff --git a/doc/CMakeLists.txt b/doc/CMakeLists.txt
index 75467f330a5e435b3012a5a823ddfee7f0237846..3a06957525e9738717ccb4f8a1b5be887ff5f77e 100644
Binary files a/doc/CMakeLists.txt and b/doc/CMakeLists.txt differ