Add the share directory into the source tarball

Manali0806 · Aug 25, 2020 · e0f6f7e · e0f6f7e
1 parent d29f914
commit e0f6f7e
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/ci/create_source_tarball0.sh b/ci/create_source_tarball0.sh
@@ -6,6 +6,7 @@ cmake -E make_directory $dest
 
 # Directories:
 cmake -E copy_directory src $dest/src
+cmake -E copy_directory share $dest/share
 cmake -E copy_directory cmake $dest/cmake
 cmake -E copy_directory examples $dest/examples
 # Files: