]> www.ginac.de Git - ginac.git/search
* create dirs ${prefix}/share/doc/GiNaC/{tutorial,reference} only if