# Substitution variables from configure skript:
# Here come the usual install directories in GNU-configure fashion:
-prefix = /tmp
+prefix = /usr/local
docdir = ${prefix}/share/doc/GiNaC
srcdir = .
# Dimitri van Heesch's Doxygen is needed for developer's resource: