| commit | 308a8cc0657514b8b3dd50d3e04dfbd780ecf0b3 | [log] [tgz] |
|---|---|---|
| author | Massimo Manghi <mxmanghi@apache.org> | Sat Dec 30 01:52:55 2017 +0000 |
| committer | Massimo Manghi <mxmanghi@apache.org> | Sat Dec 30 01:52:55 2017 +0000 |
| tree | 106e5ea9e7144194c382df37d8db57a8384307de | |
| parent | 54ef66ab4bf5093497676c4c2d345ba944b02e68 [diff] |
* doc/rivet.xml.in: more entities to extend documentation
* doc/xml/intro.xml: introduction revised and extended
* doc/xml-2: files used to generate the manual removed or moved into doc/xml
* doc/rivet.css: changed color palette