On Dec 24, 2019, at 9:08 PM, Guillaume Mercier via mpi-forum <mpi-forum@lists.mpi-forum.org> wrote: > > I did just that: > make PYTHON=/usr/bin/python3.8 cleandoc > > But the result is the same:
Yes, that does not work right now -- we'd have to add that. I was asking if that would be useful to you. I guess the answer is yes. ;-) Soooo... I guess you've been a good (enough) boy this year. Git pull, and now you have that functionality. Merry Christmas! - Santa Claus _______________________________________________ mpi-forum mailing list mpi-forum@lists.mpi-forum.org https://lists.mpi-forum.org/mailman/listinfo/mpi-forum
