Getting ready for 1.8.12 release:
- doc/xml.html: updated
- doc/html/*: rebuilt the docs
Daniel
22 files changed