Before more commits to rivet.xml are done I submit to your approval the splitting of the manual in 12 xml files bound toghether in a single small new rivet.xml. This should make the manual more flexible for future changes. I won't attach here the new rivet.xml because I guess everyone can image what (simple) operations it implied: - the original text was broken up (one file for every toplevel section) - new entities have been defined for the new files - every entity was added to the document in the same order the corresponding text had in the large current rivet.xml
Karl's recent addition to the manual has been preserved. -- Massimo --------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
