diff --git a/Installation/cmake/modules/process_dependencies.cmake b/Installation/cmake/modules/process_dependencies.cmake
index c6d7b414bdc..25aff19b907 100644
--- a/Installation/cmake/modules/process_dependencies.cmake
+++ b/Installation/cmake/modules/process_dependencies.cmake
@@ -25,9 +25,11 @@ foreach(INPUT_FILE ${INPUT_FILES})
 endforeach()
 if(headers)
   list(REMOVE_DUPLICATES headers)
+  list(SORT headers)
 endif()
 if(pkgs)
   list(REMOVE_DUPLICATES pkgs)
+  list(SORT pkgs)
 endif()
 if(OUTPUT_HEADERS_LIST)
   file(WRITE ${OUTPUT_HEADERS_LIST} "")
diff --git a/Scripts/developer_scripts/generate_list_of_documented_headers b/Scripts/developer_scripts/generate_list_of_documented_headers
index 9e06808cae7..167fb221e09 100755
--- a/Scripts/developer_scripts/generate_list_of_documented_headers
+++ b/Scripts/developer_scripts/generate_list_of_documented_headers
@@ -13,6 +13,6 @@ printf "# Generated using $0\n" > "$file"
 exec >> "$file"
 
 printf 'set(list_of_documented_headers_txt [=[\n'
-ack --no-heading --no-filename --output='$2' --cpp --html '# *include *(&lt;|[<"])(CGAL/[^>&]*)([>"]|&gt;)' ../build-doc/doc_output ../*/examples/*/*.cpp | sort | uniq
+ack --no-heading --no-filename --output='$2' '# *include *(&lt;|[<"])(CGAL/[^>&]*)([>"]|&gt;)' ../build-doc/doc_output/*/*.html ../*/examples/*/*.cpp | sort | uniq
 printf ']=])\n'
 printf 'separate_arguments(list_of_documented_headers UNIX_COMMAND ${list_of_documented_headers_txt})\n'