[GiNaC-devel] Re: [GiNaC-list] "make html" and "make pdf" don't work?