X-Git-Url: https://ginac.de/ginac.git//ginac.git?a=blobdiff_plain;f=doc%2FMakefile;h=d731fae6976c419a1ace95697e054ec48a64e8a2;hb=17326773db4c30f9bef59343b4824c5acebe6712;hp=66acd0f589c346e782722028a6037b1504c5807d;hpb=5c0989497994b35faa9c17b18f936c21dbb22d78;p=ginac.git diff --git a/doc/Makefile b/doc/Makefile index 66acd0f5..d731fae6 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -5,7 +5,7 @@ # Substitution variables from configure skript: # Here come the usual install directories in GNU-configure fashion: -prefix = /usr/local +prefix = /tmp docdir = ${prefix}/share/doc/GiNaC srcdir = . # Dimitri van Heesch's Doxygen is needed for developer's resource: