|
From: Geoff H. <ghu...@ws...> - 2002-10-17 03:51:39
|
On Wednesday, October 16, 2002, at 07:41 PM, Brian White wrote: > I can use that tool to take a merged version of defaults.cc to produce > a version of defaults.xml. The problem is that a few of the descriptions > will need to be reworked quite heavily by hand to produce valid XML. OK, that makes sense of course. I had forgotten that you wrote a tool to generate the defaults.xml file. I would guess with some care, we can separate the "new" entries and only rework them if needed. -Geoff |