summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMathieu Lirzin <mthl@gnu.org>2017-03-14 12:19:40 +0100
committerJim Meyering <meyering@fb.com>2017-03-14 11:40:53 -0700
commitf30205c5d59bab2c035165158e7d5d65b07b8363 (patch)
treef7a4ced3f70ae3d4068d2e7c99c957b16c63c74f
parent7da447eaa163dc6a1e5a29ef566d348dccb33131 (diff)
downloadgnulib-f30205c5d59bab2c035165158e7d5d65b07b8363.tar.gz
gnulib-tool: don't automatically distribute files from top/
* gnulib-tool (func_get_automake_snippet_unconditional): To be able to not distribute top/README-release by default, don't distribute files from top/ unconditionally. * modules/gnumakefile (Makefile.am): Distribute top/GNUmakefile. * modules/maintainer-makefile (Makefile.am): Distribute top/maint.mk.
-rw-r--r--ChangeLog9
-rwxr-xr-xgnulib-tool7
-rw-r--r--modules/gnumakefile1
-rw-r--r--modules/maintainer-makefile3
4 files changed, 13 insertions, 7 deletions
diff --git a/ChangeLog b/ChangeLog
index 6ae54d5e59..87d6a1901b 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,12 @@
+2017-03-14 Mathieu Lirzin <mthl@gnu.org>
+
+ gnulib-tool: don't automatically distribute files from top/
+ * gnulib-tool (func_get_automake_snippet_unconditional): To be able to
+ not distribute top/README-release by default, don't distribute files
+ from top/ unconditionally.
+ * modules/gnumakefile (Makefile.am): Distribute top/GNUmakefile.
+ * modules/maintainer-makefile (Makefile.am): Distribute top/maint.mk.
+
2017-03-14 Paul Eggert <eggert@cs.ucla.edu>
gnulib-tool: fix typo in comment output
diff --git a/gnulib-tool b/gnulib-tool
index 12a167b56f..0d1ceb242e 100755
--- a/gnulib-tool
+++ b/gnulib-tool
@@ -2461,13 +2461,6 @@ func_get_automake_snippet_unconditional ()
echo "EXTRA_DIST += "`echo "$buildaux_files" | sed -e "$sed_prepend_auxdir"`
echo
fi
- # Synthesize an EXTRA_DIST augmentation also for the files from top/.
- func_filter_filelist top_files "$nl" "$all_files" 'top/' '' 'top/' ''
- if test -n "$top_files"; then
- sed_prepend_topdir='s,^,$(top_srcdir)/,'
- echo "EXTRA_DIST += "`echo "$top_files" | sed -e "$sed_prepend_topdir"`
- echo
- fi
;;
esac
}
diff --git a/modules/gnumakefile b/modules/gnumakefile
index f917e36fca..644f1e8c2d 100644
--- a/modules/gnumakefile
+++ b/modules/gnumakefile
@@ -19,6 +19,7 @@ m4_if(m4_version_compare([2.61a.100],
[GNUmakefile=$GNUmakefile])])
Makefile.am:
+EXTRA_DIST += $(top_srcdir)/GNUmakefile
distclean-local: clean-GNUmakefile
clean-GNUmakefile:
test '$(srcdir)' = . || rm -f $(top_builddir)/GNUmakefile
diff --git a/modules/maintainer-makefile b/modules/maintainer-makefile
index 0045c59867..39b51583cc 100644
--- a/modules/maintainer-makefile
+++ b/modules/maintainer-makefile
@@ -15,6 +15,9 @@ AC_CONFIG_COMMANDS_PRE([m4_ifdef([AH_HEADER],
[AC_SUBST([CONFIG_INCLUDE], m4_defn([AH_HEADER]))])])
AC_REQUIRE([AC_PROG_SED])
+Makefile.am:
+EXTRA_DIST += $(top_srcdir)/maint.mk
+
License:
GPLed build tool