spedoc outputs html