+if host_machine.system() == 'windows'
+ pathsep = ';'
+else
+ pathsep = ':'
+endif
+
+libs = ''
+plugins_doc = ''
+deps = []
+plugins_sitemap = ''
+if get_option('built_subprojects') != ''
+ foreach project_name: get_option('built_subprojects').split(',')
+ sub = subproject(project_name)
+ if sub.get_variable('build_hotdoc')
+ message('Building @0@ documentation'.format(project_name))
+
+ foreach lib: sub.get_variable('libs_doc')
+ hotdoc_subprojects += [lib]
+ libs += lib.full_path() + pathsep
+ deps += [lib]
+ endforeach
+
+ foreach plugin_doc: sub.get_variable('plugins_doc')
+ plugins_doc += plugin_doc.full_path() + pathsep
+ hotdoc_subprojects += [plugin_doc]
+ deps += [plugin_doc]
+ endforeach
+ else
+ message('@0@ did not build hotdoc documentation, can\'t build API doc'.format(project_name))
+ endif
+ endforeach
+endif
+
+if get_option('use_portal_index')
+ index = 'markdown/index.md'
+else
+ index = 'markdown/simple-index.md'
+endif
+sitemap_gen = find_program('scripts/generate_sitemap.py')
+sitemap = configure_file(command: [sitemap_gen, '@INPUT@', '@OUTPUT@',
+ index.split('/')[1], libs, plugins_doc],
+ input: 'sitemap.txt',
+ output: 'sitemap.txt')