Changeset 79974

Timestamp:

Aug 12, 2012, 9:23:16 AM (10 years ago)

Author:

Daniel James

Message:

Give MPI documentation project a unique name.

libs/mpi/build/Jamfile.v2 and libs/mpi/doc/Jamfile.v2 had the same project
name, which was causing the documentation build to fail.

(No files)