diff --git a/doc/CMakeLists.txt b/doc/CMakeLists.txt
index b87e152cc4e..166422cc85a 100644
--- a/doc/CMakeLists.txt
+++ b/doc/CMakeLists.txt
@@ -184,7 +184,7 @@ add_custom_target(
 )
 
 if(WIN32)
-  set(SEP ;)
+  set(SEP $<SEMICOLON>)
 else()
   set(SEP :)
 endif()