Improve scripts

This commit is contained in:
Laurent Rineau 2018-01-11 16:52:35 +01:00
parent df9fd79c63
commit e2f89318e5
2 changed files with 3 additions and 1 deletions

View File

@ -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} "")

View File

@ -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'