Skip to content
  • Georges Racinet's avatar
    Makefile: restoring the `install` target · 171929442264
    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