-
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: mardi 02/04, lundi 06/05, lundi 03/06
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.