diff options
| author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2011-09-09 11:20:25 +0000 |
|---|---|---|
| committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2011-09-09 11:20:25 +0000 |
| commit | 6a7120ea83a6f244eaf12190eaf2b24c086c5501 (patch) | |
| tree | 9d9c39ac112b7ce5b75c9a27f64e4d3ae3c367bf /Makefile.am | |
| parent | d29822435f179ee8973a25bbb80d2527a6c5b6e7 (diff) | |
| download | mpfr-6a7120ea83a6f244eaf12190eaf2b24c086c5501.tar.gz | |
Added tools/ck-copyright-notice sh script from mpfrlint (updated) to
check that copyright notices exist and appear to be correct. Updated
tools/mpfrlint to run tools/ck-copyright-notice instead of its old
test. In Makefile.am, run tools/ck-copyright-notice in dist-hook for
"make dist".
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@7812 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'Makefile.am')
| -rw-r--r-- | Makefile.am | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/Makefile.am b/Makefile.am index 7adea9884..3a28224bc 100644 --- a/Makefile.am +++ b/Makefile.am @@ -21,9 +21,11 @@ nobase_dist_doc_DATA = AUTHORS BUGS COPYING COPYING.LESSER NEWS TODO \ EXTRA_DIST = PATCHES VERSION tools/ck-version-info tools/get_patches.sh \ $(DATAFILES) -# In a "make dist", check consistency concerning -version-info -# and if the VERSION file doesn't end with "-dev", check that -# the -version-info value is up-to-date. -# Note: this is a heuristic, to detect some mistakes. +# Various checks for "make dist". +# * Check consistency concerning -version-info. Moreover if the VERSION +# file doesn't end with "-dev", check that the -version-info value is +# up-to-date. Note: this is a heuristic, to detect some mistakes. +# * Check that copyright notices exist and appear to be correct. dist-hook: cd $(srcdir) && tools/ck-version-info + cd $(srcdir) && tools/ck-copyright-notice |