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}