About the RPMs

Note
----

Due to the name given to the program (ion-devel), the appropriate
user configuration directory is $HOME/.ion-devel and not $HOME/.ion
as the documentation (man page) suggests.

I am also trying to move the whole devel tree to the /usr/local
filesystem, and leave the /usr filesystem for stable versions, but
so far no luck, help appreciated.

Best regards,
david
<excalibor@iname.com>

---
Note: documentation files were missing in the last RPM, they are
now included in here. I'll eventually retrofit this patch to
the ion-devel-20020926 RPM.
