Adding the new SGML-documentation.