Closed ndw closed 5 years ago
Ok. I'll figure out how to fix that tomorrow morning.
Ok. I'll figure out how to fix that tomorrow morning.
I’ve got a (proposed) fix. I’ll push it this branch shortly.
I think this is fine in the short term. Longer term, maybe we should work out what docs need to ship with jing-trang and move them back here.
James asked me to move these files to the
relaxng.org
repository.I propose that we remove them from this repository. I added a README to indicate what happened.