1
1
openmpi/contrib/dist
Brian Barrett fe8e4a0402 dist: Autogenerate AUTHORS file
Per discussion at the Summer 2017 developers meeting, generate
the AUTHORS list at make dist time, rather than trying to
keep it up to date and merge on the branches by hand.  While
most of the data is generated from git, the organization list
was maintained by hand.  The general feeling at the meeting was
that the organization list was not adding value and there were
concrete cases where it involved much chasing by the RMs, so
it has been removed.

Signed-off-by: Brian Barrett <bbarrett@amazon.com>
2017-07-27 13:04:17 -07:00
..
linux openmpi.spec: also put the modulefile in /opt if install_in_opt==1 2017-03-28 20:45:09 -04:00
mofed Implemening Jeffs comments 2013-11-09 15:41:31 +00:00
find-copyrights.pl find-copyrights.pl: updates for git 2014-10-03 08:52:48 -07:00
make_dist_tarball Add the option to not make the greek tarball, only making the non-greek one 2016-03-18 12:25:20 -07:00
make_tarball Add sym link from make_dist_tarball to make_tarball. 2009-06-25 16:51:21 +00:00
make-authors.pl dist: Autogenerate AUTHORS file 2017-07-27 13:04:17 -07:00
make-html-man-pages.pl Purge whitespace from the repo 2015-06-23 20:59:57 -07:00