Import from mineXpert2 the user manual DocBook-based infrastructure.
MAIN-user-manual.xml
0 → 100644
doc/user-manual/Makefile
0 → 100644
doc/user-manual/TODO
0 → 100644
This diff is collapsed.
doc/user-manual/css/daps.css
0 → 100644