From 280f3a4424d71abf39d863f3f0fa9054c18a6d81 Mon Sep 17 00:00:00 2001 From: Han-Wen Nienhuys Date: Tue, 23 Sep 2003 14:32:48 +0000 Subject: [PATCH] * buildscripts/lilypond-profile.sh (Error): more zsh stuff: print a warning that the warning may erroneous. * GNUmakefile.in ($(config_h)): config.h should depend on config.hh.in . (lilypond.words): remove fontball stuff. * GNUmakefile.in (rsync-web): permissions and ownership for website. --- ChangeLog | 3 +++ GNUmakefile.in | 2 +- buildscripts/lilypond-profile.sh | 28 +++++++++++++++------------- scripts/lilypond-book.py | 2 +- 4 files changed, 20 insertions(+), 15 deletions(-) diff --git a/ChangeLog b/ChangeLog index 03dfe70df7..e3567464bc 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,8 @@ 2003-09-23 Han-Wen Nienhuys + * buildscripts/lilypond-profile.sh (Error): more zsh stuff: print + a warning that the warning may erroneous. + * Documentation/topdocs/INSTALL.texi (Top): add note about get-pfa target. diff --git a/GNUmakefile.in b/GNUmakefile.in index 014ca0b81c..2ed8bf5826 100644 --- a/GNUmakefile.in +++ b/GNUmakefile.in @@ -144,7 +144,7 @@ rsync-web: cd out-www && mkdir web && tar -xzf web.tar.gz -C web cd out-www/web && \ chgrp -R lilypond . && \ - chmod -R 664 . && \ + chmod -R g+w && \ chmod 2775 `find -type d` . && \ rsync --delete --stats --progress -gorltvu -e ssh . x:/var/www/lilypond/doc/v1.9/ cd out-www && rm -rf web/ diff --git a/buildscripts/lilypond-profile.sh b/buildscripts/lilypond-profile.sh index 44559f6e3e..b688455dcd 100644 --- a/buildscripts/lilypond-profile.sh +++ b/buildscripts/lilypond-profile.sh @@ -7,11 +7,19 @@ # If run by hand or from you .profile, run as follows # . /PATH/TO/lilypond-profile -echo $0 + + # workaround for ZSH posix $0-problem -[ -n "$ZSH_NAME" ] && setopt nofunctionargzero -if [ `basename "$0"` = "lilypond-profile" ] ; then +# for zsh: start removing here +if [ -n "$ZSH_NAME" ] ; then + echo "You are running this script under zsh. Edit this script by hand. " + echo + echo "(failed to source lilypond-profile)" + return 2 +fi + +if [ `basename "$0"` = "lilypond-profile" ] ; then cat >/dev/stderr <