[epsilon-devel] The epsilon manual on www.gnu.org

[Luca Saiu]

  The epsilon manual is now available at 
http://www.gnu.org/software/epsilon/manual in Texinfo, HTML, TeX DVI, 
PostScript, PDF and plain text. I wrote a script (in bash and awk) to be 
able to update it rapidly keeping all versions synchronized.
  The next thing I want to document is the C-libraries feature, which 
is now fully usable (are you hearing, Matteo? :-)). And I want bignums 
in epsilon.

  Said in another way, now if you want to read the manual in a format 
different from HTML you don't have to download the epsilon distribution 
anymore.

--
Luca Saiu, maintainer of GNU epsilon
http://www.gnu.org/software/epsilon