install: fix: add missing semicolon
Commit 737277d2 adds erroneous code in Makefile (missing semicolon), leading make install
to fail.
This bug shows that the CI is missing an installation test.
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
Commit 737277d2 adds erroneous code in Makefile (missing semicolon), leading make install
to fail.
This bug shows that the CI is missing an installation test.