A txt manual is included in Maxima.
You find it in the directory that contains the SARAG code.
Under Linux it could be something like:
/usr/local/share/maxima/5.19.0/share/contrib/sarag
(change the version number to the one you have installed)
For those of you who need to read more about SARAG
I can provide some extra material.
Just send an email to Fabrizio_Caruso at hotmail.com
SARAG is used by the free electronic version
of the book "Algorithms in Real Algebraic Geometry"
by M.-F. Roy and others.
It seems the link is not working at the moment.
I will tell M.-F. Roy and it'll be fixed.
I will try to help anyone who wants to use SARAG
or work on new features or integrate a different
package with SARAG.
Fabrizio