Connectez-vous à votre compte HAL et, à partir de Mon espace/Mes dépôts, vous devez sélectionner votre document et choisir comme outil  Ajouter un fichier. Voir aussi le tutoriel video