Ludovic Courtès <ludovic.courtes@inria.fr> writes:

> Hi Paul,
>
> "Paul A. Patience" <paul@apatience.com> skribis:
>
>> * gnu/packages/graphics.scm (mmg): Update to 5.7.1.
>> [arguments]<#:configure-flags>: Set -DCMAKE_INSTALL_MANDIR. Add
>> -DBUILD_DOC=ON and -DUSE_SCOTCH=ON, the defaults of which changed since
>> the last version. Scotch is still autodetected, but explicitly enabling
>> it causes the configuration to fail if it is not found.
>> <#:phases>: Do not copy the manual pages, because the build now does it.
>
> Applied, thanks!

Marking as done.