www.do | 7 +++++-- diff --git a/www.do b/www.do index cc23473a79fd5450f462e06f90255265af06ecdd12c91fd8ad5aaef607365690..60b5d933c4411333c7d8410ba73b65a7c2ba58c3a45b8a12e307b2868299a59f 100644 --- a/www.do +++ b/www.do @@ -1,4 +1,5 @@ -rm -f gogost.html/*.html +html=gogost.html +rm -f $html/*.html ${MAKEINFO:-makeinfo} --html \ --set-customization-variable EXTRA_HEAD='' \ --set-customization-variable CSS_LINES="`cat style.css`" \ @@ -8,4 +9,6 @@ --set-customization-variable DATE_IN_HEADER=1 \ --set-customization-variable TOP_NODE_UP_URL=index.html \ --set-customization-variable CLOSE_QUOTE_SYMBOL=\" \ --set-customization-variable OPEN_QUOTE_SYMBOL=\" \ - -o gogost.html www.texi + -o $html www.texi +find $html -type d -exec chmod 755 {} \; +find $html -type f -exec chmod 644 {} \;