# HG changeset patch
# User haftmann
# Date 1117916247 -7200
# Node ID 5f1561806a6f9ef3fa14749f6292c426e01aac9c
# Parent  f0d154b21b868ca7fe5c7a31583ea7998cacda68
added library symlink

diff -r f0d154b21b86 -r 5f1561806a6f Admin/website/build/localconf.at.template.mak
--- 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)
diff -r f0d154b21b86 -r 5f1561806a6f Admin/website/build/localconf.sun.template.mak
--- 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)
diff -r f0d154b21b86 -r 5f1561806a6f Admin/website/build/project.mak
--- 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)