# HG changeset patch # User haftmann # Date 1129879107 -7200 # Node ID f5ff234ce6b37edb2fbce37e2c52844903e12cff # Parent 48ec47217fe25f58c2afd922c865ebffaa63a299 towards an improved website/makedist integration diff -r 48ec47217fe2 -r f5ff234ce6b3 Admin/website/README --- a/Admin/website/README Fri Oct 21 09:08:42 2005 +0200 +++ b/Admin/website/README Fri Oct 21 09:18:27 2005 +0200 @@ -101,8 +101,9 @@ (4) project-specific remarks ============================ -* the site is not monolithic -* it must fit neatlessly into the Isabelle distribution and regression framework +The whole thing should fit neatlessly into the Isabelle distribution and +regression framework; this may explain some "features" which seem to be +enigmatic. (5) the website build bed on sunbroy2 diff -r 48ec47217fe2 -r f5ff234ce6b3 Admin/website/build/make_dep.bash --- a/Admin/website/build/make_dep.bash Fri Oct 21 09:08:42 2005 +0200 +++ b/Admin/website/build/make_dep.bash Fri Oct 21 09:18:27 2005 +0200 @@ -25,7 +25,7 @@ echo ' -chgrp $(TARGET_GROUP) $(dir $@)' >> "$DEP_FILE" echo ' -[ -e $@ ] && rm $@' >> "$DEP_FILE" echo ' cp $< $@' >> "$DEP_FILE" - echo ' chmod $(TARGET_UMASK_DIR) $@' >> "$DEP_FILE" + echo ' chmod $(TARGET_UMASK_FILE) $@' >> "$DEP_FILE" echo ' chgrp $(TARGET_GROUP) $@' >> "$DEP_FILE" allstatic="$allstatic$outputfile " echo >> "$DEP_FILE" @@ -46,7 +46,7 @@ echo ' -[ -e $@ ] && rm $@' >> "$DEP_FILE" echo ' $(PYTHON) build/pypager.py --dtd="dtd/" $(FORCE_ENC_CMD) --srcroot="." --dstroot="$(OUTPUTROOT)" distname="$(DISTNAME)" $< $@' >> "$DEP_FILE" echo ' -$(TIDYCMD) $@' >> "$DEP_FILE" - echo ' chmod $(TARGET_UMASK_DIR) $@' >> "$DEP_FILE" + echo ' chmod $(TARGET_UMASK_FILE) $@' >> "$DEP_FILE" echo ' chgrp $(TARGET_GROUP) $@' >> "$DEP_FILE" allhtml="$allhtml$outputfile "; \ echo >> "$DEP_FILE" diff -r 48ec47217fe2 -r f5ff234ce6b3 Admin/website/build/project.mak --- a/Admin/website/build/project.mak Fri Oct 21 09:08:42 2005 +0200 +++ b/Admin/website/build/project.mak Fri Oct 21 09:18:27 2005 +0200 @@ -19,14 +19,18 @@ $(OUTPUTROOT)/dist: $(ISABELLE_DIST) mkdir -p $@ $(COPY) -vRud $