diff options
author | Phil Sutter <phil@nwl.cc> | 2022-12-06 20:35:42 +0100 |
---|---|---|
committer | Phil Sutter <phil@nwl.cc> | 2022-12-14 15:47:14 +0100 |
commit | 3822a992bc2772d55853fb768225210af5d35e02 (patch) | |
tree | 47c908262030785e1dd6ffa6e7eb4c6b7c87e18d /extensions | |
parent | e10f1a2a2d8756c9e9924c9328d507daab14a0ef (diff) |
Makefile: Fix for 'make distcheck'
Since extensions/ directory does not use automake, some targets have to
be added manually. Apart from that, several Makefiles either missed to
specify relevant files or did not specify them correctly for 'make dist'
to add them to the tarball.
Signed-off-by: Phil Sutter <phil@nwl.cc>
Diffstat (limited to 'extensions')
-rw-r--r-- | extensions/GNUmakefile.in | 15 |
1 files changed, 14 insertions, 1 deletions
diff --git a/extensions/GNUmakefile.in b/extensions/GNUmakefile.in index 188e7a79..c37e4619 100644 --- a/extensions/GNUmakefile.in +++ b/extensions/GNUmakefile.in @@ -79,7 +79,7 @@ targets_install := .SECONDARY: -.PHONY: all install uninstall clean distclean FORCE +.PHONY: all install uninstall clean distclean FORCE dvi check installcheck all: ${targets} @@ -235,3 +235,16 @@ matches.man: ${initext_depfiles} $(wildcard ${srcdir}/lib*.man) targets.man: ${initext_depfiles} $(wildcard ${srcdir}/lib*.man) $(call man_run,$(call ex_targets,${pfx_build_mod} ${pfb_build_mod} ${pfa_build_mod} ${pf4_build_mod} ${pf6_build_mod} ${pfx_symlinks})) + +dist_initext_src = $(addprefix $(srcdir)/,${initext_sources}) +dist_sources = $(filter-out ${dist_initext_src},$(wildcard $(srcdir)/*.[ch])) + +distdir: + mkdir -p $(distdir) + cp -p ${dist_sources} $(distdir)/ + cp -p $(wildcard ${srcdir}/lib*.man) $(distdir)/ + cp -p $(srcdir)/*.{t,txlate} $(distdir)/ + +dvi: +check: all +installcheck: |