1
1
openmpi/contrib/dist
Brian Barrett fe2b6cf1d6 dist: Don't build case-conflicting html man pages
The html man page builder creates a web page for every
man page generated by our releases.  We then check all
those pages into the ompi-www repo.  Force the build
to skip case-conflicting pages (ie, mpiCC because it
conflicts with mpicc), even if building on Linux, so that
ompi-www continues to be sane when cloned onto MacOS.

Signed-off-by: Brian Barrett <bbarrett@amazon.com>
2018-03-29 21:44:58 +00: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 dist: Don't build case-conflicting html man pages 2018-03-29 21:44:58 +00:00