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
_______________________________________________
Guile-devel mailing list
Guile-devel@gnu.org
http://lists.gnu.org/mailman/listinfo/guile-devel
