We are developing a series of (quite large) tools for our internal usage (only). We are writing the documentation in parallel with the development progress.
Is it important to provide different documentation formats? For the moment we generate the documentation only in HTML