harvest-corpus / outils / extrait-xml-éditeur /
@besagni besagni authored on 13 Dec 2017
..
README.md Réagencement et apport de nouveaux outils 6 years ago
README.md

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”.