[GiNaC-list] Re: doc installation problem