changeset 17945 | 2146e292f62f |
parent 17910 | 2b435795c9e9 |
child 19331 | f5e84acd7d3f |
--- a/Admin/website/build/localconf.sun.template.mak Fri Oct 21 09:18:27 2005 +0200 +++ b/Admin/website/build/localconf.sun.template.mak Fri Oct 21 09:54:03 2005 +0200 @@ -9,7 +9,7 @@ ISABELLE_DIST=$(DISTBASE) # location of doc content file -ISABELLE_DOC_CONTENT_FILE=$(DISTBASE)/$(DISTIDENT)/doc/Contents +ISABELLE_DOC_CONTENT_FILE=$(DISTBASE)/$(DISTNAME)/doc/Contents # dirs to copy to build target STATICDIRS=css img media misc