-
Georges Racinet authored
It was inadvertly removed with the `update` target (we don't support the latter). Because it provides more feedback than the `all` default target, we suggest to use `make install` in the documentation.
171929442264
It was inadvertly removed with the `update` target (we don't support the latter). Because it provides more feedback than the `all` default target, we suggest to use `make install` in the documentation.