# HG changeset patch
# User haftmann
# Date 1117916956 -7200
# Node ID 8c3063bf8b9ff374074650b548ccafcfbf5c9946
# Parent  5f1561806a6f9ef3fa14749f6292c426e01aac9c
added library symlink

diff -r 5f1561806a6f -r 8c3063bf8b9f 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:29:16 2005 +0200
@@ -14,7 +14,7 @@
 STATICDIRS=img media dist/css dist/img
 
 # build target (attention: ~ will not work!)
-OUTPUTROOT=$(HOME)/isaweb_public
+OUTPUTROOT=$(HOME)/isabelle_website
 
 # current distribution name
 DISTNAME=Isabelle2004
diff -r 5f1561806a6f -r 8c3063bf8b9f 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:29:16 2005 +0200
@@ -14,7 +14,7 @@
 STATICDIRS=img media dist/css dist/img
 
 # build target (attention: ~ will not work!)
-OUTPUTROOT=$(HOME)/isaweb_public
+OUTPUTROOT=$(HOME)/isabelle_website
 
 # current distribution name
 DISTNAME=Isabelle2004