--- a/Admin/website/build/localconf.at.template.mak Sat Jun 04 22:17:27 2005 +0200
+++ b/Admin/website/build/localconf.at.template.mak Sat Jun 04 22:17:27 2005 +0200
@@ -11,7 +11,7 @@
TIDY=tidy
# dirs to copy to build target
-COPYDIRS=img media dist/css dist/img
+STATICDIRS=img media dist/css dist/img
# build target (attention: ~ will not work!)
OUTPUTROOT=$(HOME)/isaweb_public
@@ -20,10 +20,13 @@
DISTNAME=Isabelle2004
# location of isabelle distribution packages
-ISABELLE_DIST=/home/html/isabelle/html-data/dist
+ISABELLE_DIST=/home/proj/isabelle/dist/Isabelle2004
+
+# location of isabelle library
+ISABELLE_LIBR=/home/proj/isabelle/dist/Isabelle2004/library
# location of doc content file
-ISABELLE_DOC_CONTENT_FILE=$(HOME)/isabelle/Distribution/doc/Contents
+ISABELLE_DOC_CONTENT_FILE=/home/proj/isabelle/Isabelle2004/doc/Contents
# set to a true value to use the "pypager iso-8859-1" hack
# (may be neccessary for older versions of HTML tidy)
--- a/Admin/website/build/localconf.sun.template.mak Sat Jun 04 22:17:27 2005 +0200
+++ b/Admin/website/build/localconf.sun.template.mak Sat Jun 04 22:17:27 2005 +0200
@@ -20,10 +20,13 @@
DISTNAME=Isabelle2004
# location of isabelle distribution packages
-ISABELLE_DIST=/home/html/isabelle/html-data/dist
+ISABELLE_DIST=/home/proj/isabelle/dist/Isabelle2004
+
+# location of isabelle library
+ISABELLE_LIBR=/home/proj/isabelle/dist/Isabelle2004/library
# location of doc content file
-ISABELLE_DOC_CONTENT_FILE=$(HOME)/isabelle/Distribution/doc/Contents
+ISABELLE_DOC_CONTENT_FILE=/home/proj/isabelle/Isabelle2004/doc/Contents
# set to a true value to use the "pypager iso-8859-1" hack
# (may be neccessary for older versions of HTML tidy)
--- a/Admin/website/build/project.mak Sat Jun 04 22:17:27 2005 +0200
+++ b/Admin/website/build/project.mak Sat Jun 04 22:17:27 2005 +0200
@@ -1,13 +1,16 @@
# isaweb makefile - project-specific dependencies
# $Id$
+symlinks: $(DEP_SYMLINKS)
+.PHONY: symlinks
+
DEP_SYMLINKS=$(OUTPUTROOT)/dist/packages $(OUTPUTROOT)/library
$(OUTPUTROOT)/dist/packages: $(ISABELLE_DIST)
mkdir -p $(OUTPUTROOT)/dist
ln -s $< $@
-$(OUTPUTROOT)/library:
+$(OUTPUTROOT)/library: $(ISABELLE_LIBR)
ln -s $< $@
include/documentationdist.include.html: $(ISABELLE_DOC_CONTENT_FILE)