[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Pictures in the manual
From: |
Marius Vollmer |
Subject: |
Re: Pictures in the manual |
Date: |
25 May 2001 14:33:34 +0200 |
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.0.102 |
Martin Grabmueller <address@hidden> writes:
> > gossip-sim.html: gossip-sim.texi $(PICS_PNG)
> > LANG="" makeinfo --html $< -o - | $(srcdir)/fix-html >$@
>
> ^^^^^^^^
> What does this program do?
Ahh, yes. It hacks the background (and fixes a bug in the html, or in
Netscape). Here it is
#! /bin/sh
bodyattrs='bgcolor="#FFFFFF" text="#000000" link="#1F00FF" alink="#FF0000"
vlink="#9900DD"'
sed -e 's,<dfn>,<em>,g' -e 's,</dfn>,</em>,g' \
-e "s,<body>,<body $bodyattrs>,"