On Tue, 21 Aug 2001, Rich Bowen wrote: > On Tue, 21 Aug 2001, Joshua Slive wrote: > > > I would drop the <!--%plaintext thing. I'm sure it had a purpose > > at some point, but I don't think it is of any use now. > > Just for confirmation, I'd really like to hear someone else's take on > this. Perhaps someone that remembers why they were there, and can > definitively tell me that the need has gone away.
The HTML docs used to be postprocessed into postscript and made available as one big file so people didn't have to use a "web browser" to read them. The scripts that did it are probably around somewhere... the %plaintext stuff was used as part of some latex step or something like that. I think this was in the 1.0 timeframe, or somewhere around there... before my time anyway. So they are very obsolete, not properly maintained anyway, and not the way we would want to maintain multiformat documentation now anyway. --------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
