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