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