Delete it, no longer needed.
tree804311e3b5ce4a184e7d82172c57da5a6f82510b
-rw-r--r-- 44 .gitignore
-rw-r--r-- 589 TODO
-rw-r--r-- 6474 components.xml
-rw-r--r-- 760195 docbook.xsd
-rwxr-xr-x 1214 generate.sh
-rw-r--r-- 28677 glazes.xml
-rw-r--r-- 39476 pieces.xml
-rw-r--r-- 1125 pottery.xml
-rw-r--r-- 12151 pottery.xsd
-rw-r--r-- 23186 pottery2docbook.xsl
-rw-r--r-- 59155 samples.xml
-rw-r--r-- 1240 xlink.xsd
-rw-r--r-- 5832 xml.xsd