| changeset 16278 | dda44b201c4d |
| parent 16244 | 8c3063bf8b9f |
| child 16303 | fee0a02f61bb |
--- a/Admin/website/build/localconf.sun.template.mak Sun Jun 05 14:58:16 2005 +0200 +++ b/Admin/website/build/localconf.sun.template.mak Sun Jun 05 15:04:23 2005 +0200 @@ -23,7 +23,7 @@ ISABELLE_DIST=/home/proj/isabelle/dist/Isabelle2004 # location of isabelle library -ISABELLE_LIBR=/home/proj/isabelle/dist/Isabelle2004/library +ISABELLE_LIBR=/home/proj/isabelle/dist/library-Isabelle2004 # location of doc content file ISABELLE_DOC_CONTENT_FILE=/home/proj/isabelle/Isabelle2004/doc/Contents