Web site update

[Ludovic Courtès]

Hi,

I updated the web pages so that they use the GNU CSS (using the attached
script).  This adds a bit of "eye candy", which is always a good thing.
;-)

I may also update the project list one of these days.

Thanks,
Ludovic.

#!/bin/sh
# CSSify Guile web pages.

for page in $@
do
  ed "$page" <<EOF
/<link REV="made"
p
i
  <link REL="stylesheet" TYPE="text/css" HREF="/gnu.css">
.
/Please send FSF
-4
d
i

<BR>
<DIV CLASS="copyright">
.
/body
p
i
</DIV>

.
wq
EOF

  if grep "HHMTS" "$page" > /dev/null
  then
      ed "$page" <<EOF
/HHMTS START
.,+3d
wq
EOF
  fi
done