#!/bin/bash

./convert.pl PappusArabus.txt > out
cat head out tail > PappusArabus.xml
rm out