Using hdoc_to_tei.ant

  • Extract the archive content

  • Open a command-line shell, go to the converter directory

  • Launch ant -buildfile hdoc_to_tei.ant -DInputPath="in.hdoc" -DOutputPath="out" convert

    • Where in.hdoc is the path to your input hdoc file

    • Where out is the directory name where the result will be (into the output directory)

  • You can get your converted xml file in the output/{your output directory}

How to use - antfile

Extract archive into a directoryLauch ant -buildfile hdoc_to_tei.ant -DInputPath="in.hdoc" -DOutputPath="out" convert