Web site update

Web site update

[Ludovic Courtès]

[-- Attachment #1: Type: text/plain, Size: 228 bytes --]

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.


[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: The script that adds CSS support --]
[-- Type: text/x-sh, Size: 344 bytes --]

#!/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

[-- Attachment #3: Type: text/plain, Size: 143 bytes --]

_______________________________________________
Guile-devel mailing list
Guile-devel@gnu.org
http://lists.gnu.org/mailman/listinfo/guile-devel