Nicolas Lehuen wrote:
Grisha, can you tell us what is the process to release a new version, including the update of the web site ?Maybe include the web site source files in the subversion repository, so that we can edit it ? As for building the HTML documentation out of the LaTeX files, I'm a bit at a loss... Has anyone managed to do it ?
Yes. Jim