diff options
| author | Brian Behlendorf <[email protected]> | 2022-05-26 09:24:50 -0700 |
|---|---|---|
| committer | GitHub <[email protected]> | 2022-05-26 09:24:50 -0700 |
| commit | d98a67a53a180bd88ec8d9aeea75d92e1c9968b5 (patch) | |
| tree | 622c9d577ad42f9cf3ac31003fc614adc003f9b2 /man | |
| parent | b62829295e9529d1c321816a1027fac5afc7d6f5 (diff) | |
Replace EXTRA_DIST with dist_noinst_DATA
The EXTRA_DIST variable is ignored when used in the FALSE conditional
of a Makefile.am. This results in the `make dist` target omitting
these files from the generated tarball unless CONFIG_USER is defined.
This issue can be avoided by switching to use the dist_noinst_DATA
variable which is handled as expected by autoconf.
This change also adds support for --with-config=dist as an alias
for --with-config=srpm and updates the GitHub workflows to use it.
Reviewed-by: Ahelenia Ziemiańska <[email protected]>
Signed-off-by: Brian Behlendorf <[email protected]>
Closes #13459
Closes #13505
Diffstat (limited to 'man')
| -rw-r--r-- | man/Makefile.am | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/man/Makefile.am b/man/Makefile.am index 362ee9b7e..8fa21d2fd 100644 --- a/man/Makefile.am +++ b/man/Makefile.am @@ -1,4 +1,4 @@ -EXTRA_DIST += \ +dist_noinst_man_MANS = \ %D%/man1/cstyle.1 dist_man_MANS = \ @@ -105,8 +105,9 @@ nodist_man_MANS = \ %D%/man8/zed.8 \ %D%/man8/zfs-mount-generator.8 -SUBSTFILES += $(nodist_man_MANS) +dist_noinst_DATA += $(dist_noinst_man_MANS) $(dist_man_MANS) +SUBSTFILES += $(nodist_man_MANS) CHECKS += mancheck mancheck: |