diff --git a/machines/compute01/ds-fr/default.nix b/machines/compute01/ds-fr/default.nix
index ae61084..4f3f31d 100644
--- a/machines/compute01/ds-fr/default.nix
+++ b/machines/compute01/ds-fr/default.nix
@@ -49,6 +49,7 @@ in {
       STATUS_URL = "https://status.dgnum.eu/demarches-normaliennes";
 
       DEMANDE_INSCRIPTION_ADMIN_PAGE_URL = "https://demarches.dgnum.eu/commencer/demande-d-inscription-demarches-normaliennes";
+      DOC_URL = "https://docs.dgnum.eu/s/demarches-normaliennes";
 
       # Customization
       # HEADER_LOGO_SRC = "logo_ens_psl_couleur.png";