diff options
| author | Stefan Sauer <ensonic@hora-obscura.de> | 2018-10-19 18:36:57 +0000 |
|---|---|---|
| committer | Stefan Sauer <ensonic@hora-obscura.de> | 2018-10-19 18:36:57 +0000 |
| commit | b69c8f7ce8316413bc218582be72cd6df4ae5d92 (patch) | |
| tree | 646fbcd7d58b41b95f81f73bc1060aa5e12c024a | |
| parent | e37b083ebe1516152808fe76968512b789cb2ec0 (diff) | |
| parent | fdf9b46a894a276b9800d9a851b00b07f05a54c5 (diff) | |
| download | gtk-doc-b69c8f7ce8316413bc218582be72cd6df4ae5d92.tar.gz | |
Merge branch 'wip/tintou/create-xml-before-use' into 'master'
cmake: copy the XML file before using it
See merge request GNOME/gtk-doc!12
| -rw-r--r-- | buildsystems/cmake/GtkDocConfig.cmake | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/buildsystems/cmake/GtkDocConfig.cmake b/buildsystems/cmake/GtkDocConfig.cmake index 2de8d83..6f1ec4d 100644 --- a/buildsystems/cmake/GtkDocConfig.cmake +++ b/buildsystems/cmake/GtkDocConfig.cmake @@ -253,13 +253,13 @@ function(gtk_doc_add_module _doc_prefix) ${_depends} ${_remove_xml_if_needed} COMMAND ${CMAKE_COMMAND} -E remove_directory ${_output_xml_dir} + ${_copy_xml_if_needed} COMMAND ${GTKDOC_MKDB_EXE} --module=${_doc_prefix} ${_source_dirs_opt} --source-suffixes=${_doc_source_suffixes} --output-format=xml --main-sgml-file=${_default_xml_file} - ${_copy_xml_if_needed} WORKING_DIRECTORY "${_output_dir}" VERBATIM) |