Revision 96357135
ID | 96357135663b53b8d2f842a575c8cd7ad8ee3168 |
Restructure documentation index page
The index page of the documentation used to be just a list of links.
Now it is a proper introduction to all the other pages.
Fixes Issue 424.
Signed-off-by: Michele Tartara <mtartara@google.com>
Reviewed-by: Klaus Aehlig <aehlig@google.com>
Files
- added
- modified
- copied
- renamed
- deleted