2 Commits

Include renames

Author	SHA1	Message	Date
fanquake	1f054eca4e	cmake: add USE_SOURCE_PERMISSIONS to all configure_file usage ... `USE_SOURCE_PERMISSIONS` is the default, so this should not change behaviour. However, being explicit makes it clear what we are doing. Related to #30815. See https://cmake.org/cmake/help/latest/command/configure_file.html#options.	2024-09-06 10:52:19 +01:00
Hennadii Stepanov	65bdbc1ff2	cmake: Add docs build target	2024-08-16 21:19:12 +01:00