From 3ffa6fc0df35a7e700049dd332c32aa0766bc416 Mon Sep 17 00:00:00 2001 From: Kevin Day Date: Sat, 1 Jul 2023 23:09:07 -0500 Subject: [PATCH] Cleanup: Do not include man page documentation if there are no man pages. This never generated an error locally because the directories happen to exist. Empty directories are generally not stored in git and so when unit tests were run on Github the missing directory problem becomes exposed. This is not a bug because the related bug is fixed in commit ecddd4d16504d3e2d9502d6a4dfe67658dce98dc. This only silences the newly added warning. --- level_0/f_status_string/data/build/settings | 2 +- level_0/f_type/data/build/settings | 2 +- level_1/fl_execute/data/build/settings | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/level_0/f_status_string/data/build/settings b/level_0/f_status_string/data/build/settings index bd6e9b9..4cf287f 100644 --- a/level_0/f_status_string/data/build/settings +++ b/level_0/f_status_string/data/build/settings @@ -36,7 +36,7 @@ build_sources_library status_string.c build_sources_headers status_string.h -build_sources_documentation man +build_sources_documentation build_script yes build_shared yes diff --git a/level_0/f_type/data/build/settings b/level_0/f_type/data/build/settings index bfc50e8..20b9a84 100644 --- a/level_0/f_type/data/build/settings +++ b/level_0/f_type/data/build/settings @@ -33,7 +33,7 @@ build_libraries -lc build_sources_headers type.h -build_sources_documentation man +build_sources_documentation build_script yes build_shared yes diff --git a/level_1/fl_execute/data/build/settings b/level_1/fl_execute/data/build/settings index d429d1a..6bb1715 100644 --- a/level_1/fl_execute/data/build/settings +++ b/level_1/fl_execute/data/build/settings @@ -35,7 +35,7 @@ build_libraries-individual_thread -lf_thread build_sources_headers execute.h execute/common.h -build_sources_documentation man +build_sources_documentation build_script yes build_shared yes -- 1.8.3.1