A documentation generator