* create dirs ${prefix}/share/doc/GiNaC/{tutorial,reference} only if
[ginac.git] / doc / reference /
drwxr-xr-x   ..
-rw-r--r-- 30023 DoxyfileHTML
-rw-r--r-- 30015 DoxyfileTEX
-rw-r--r-- 311 Doxyfooter
-rw-r--r-- 2556 Makefile.am