Newer
Older
harvest-corpus / outils / extrait-xml-éditeur / README.md
@besagni besagni on 13 Dec 2017 286 bytes Réagencement et apport de nouveaux outils

extrait-xml-éditeur

Outil qui permet d'extraire le fichier XML éditeur d’une archive ZIP et de le renommer pour lui donner la même racine que le document auquel il fait référence. Il travaille sur un fichier ou sur un répertoire de fichiers “.zip”.