HTML documentation for gEDA
