Re: gendocs.sh puts a localized date into index.html

[Karl Berry]

    ! curdate=`$SETLANG date '+%B %d, %Y'`

Thanks Bruno.  I installed it.