docs.js doesn't generate a summary XML file #467
Description
docs.js must take a directory with XMIR files and generate a summary XML file with all necessary details from XMIR files. Currently, it doesn't do this. Let's implement this feature. The XML file generated must be in this format:
<eodoc>
<package name="foo.bar">
<object>
<!-- here goes the documentation part from the XMIR -->
</object>
<package>
<eodoc>