Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
added library symlink
authorhaftmann
Sat, 04 Jun 2005 22:29:16 +0200
changeset 16244 8c3063bf8b9f
parent 16243 5f1561806a6f
child 16245 bad9d73aa063
added library symlink
Admin/website/build/localconf.at.template.mak file | annotate | diff | comparison | revisions
Admin/website/build/localconf.sun.template.mak file | annotate | diff | comparison | revisions 
--- 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
--- 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
isabelle