-
Mikaël Salson authored
The instructions should be in the documentation rather than the Makefile. The commands depend very much on the server architecture it is therefore poorly portable to have such instructions in the Makefile.
4f7fb7a7
Prochaines maintenances programmées: lundi 06/05, lundi 03/06, lundi 01/07
Pour plus d'informations: https://doc-si.inria.fr/display/SU/Gitlab
The instructions should be in the documentation rather than the Makefile. The commands depend very much on the server architecture it is therefore poorly portable to have such instructions in the Makefile.