Re: [GiNaC-devel] tutorial documentation and makeinfo --html