MIRA: check document generation for release
Test html- and doc-generation
Now latex generation contains a lot of todos. remove it for the release
from code and from help
(from redmine: issue id 1072, created on 2012-12-13, closed on 2013-01-15)
- Relations:
- precedes #1042 (closed)
- Uploads:
- test.reqif From standard ACC-refinement example