diff --git a/Scripts/developer_scripts/cgal_create_release_with_cmake.cmake b/Scripts/developer_scripts/cgal_create_release_with_cmake.cmake
index f028bf7a177..bbb8f6051c8 100644
--- a/Scripts/developer_scripts/cgal_create_release_with_cmake.cmake
+++ b/Scripts/developer_scripts/cgal_create_release_with_cmake.cmake
@@ -88,8 +88,16 @@ foreach(pkg ${files})
         endif()
       endif()
     endforeach()
-    if (IS_DIRECTORY "${release_dir}/doc/${pkg}/fig_src")
-      file(REMOVE_RECURSE "${release_dir}/doc/${pkg}/fig_src")
+    if (EXISTS "${release_dir}/doc/${pkg}")
+      #generate filelist.txt used by doxygen ran on a release
+      file(GLOB_RECURSE includes LIST_DIRECTORIES false RELATIVE "${CMAKE_BINARY_DIR}/${pkg}/include" "${CMAKE_BINARY_DIR}/${pkg}/include/CGAL/*.h")
+      foreach(f ${includes})
+        file(APPEND "${release_dir}/doc/${pkg}/filelist.txt" "${f}\n")
+      endforeach()
+      #remove fig_src directory
+      if (IS_DIRECTORY "${release_dir}/doc/${pkg}/fig_src")
+        file(REMOVE_RECURSE "${release_dir}/doc/${pkg}/fig_src")
+      endif()
     endif()
   endif()
 endforeach()