From fa20dc8141d5e247b50aa1039323bee050c468bf Mon Sep 17 00:00:00 2001 From: Fabian Homborg Date: Sat, 10 Jul 2021 11:06:16 +0200 Subject: [PATCH] Do install the themes This has cheesy pattern matching that I'm not entirely sure adds anything? Surely if we add something to share/web_config that should be installed *by default*? Anyway, let's just add .theme to it --- cmake/Install.cmake | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/cmake/Install.cmake b/cmake/Install.cmake index af64029bd..20e4a61d0 100644 --- a/cmake/Install.cmake +++ b/cmake/Install.cmake @@ -91,7 +91,9 @@ fish_create_dirs(${rel_datadir}/fish ${rel_datadir}/fish/completions ${rel_datadir}/fish/tools/web_config ${rel_datadir}/fish/tools/web_config/js ${rel_datadir}/fish/tools/web_config/partials - ${rel_datadir}/fish/tools/web_config/sample_prompts) + ${rel_datadir}/fish/tools/web_config/sample_prompts + ${rel_datadir}/fish/tools/web_config/themes + ) configure_file(share/__fish_build_paths.fish.in share/__fish_build_paths.fish) install(FILES share/config.fish @@ -147,6 +149,7 @@ install(DIRECTORY share/tools/web_config PATTERN "*.html" PATTERN "*.py" PATTERN "*.js" + PATTERN "*.theme" PATTERN "*.fish") # Building the man pages is optional: if Sphinx isn't installed, they're not built