delorie.com/archives/browse.cgi   search  
Mail Archives: djgpp/1996/10/10/07:55:46

Date: Thu, 10 Oct 1996 13:44:58 +0200 (IST)
From: Eli Zaretskii <eliz AT is DOT elta DOT co DOT il>
To: "A.Appleyard" <A DOT APPLEYARD AT fs2 DOT mt DOT umist DOT ac DOT uk>
Cc: DJGPP AT delorie DOT com
Subject: Re: FAQ error
In-Reply-To: <9350405C9A@fs2.mt.umist.ac.uk>
Message-Id: <Pine.SUN.3.91.961010133259.10903D-100000@is>
Mime-Version: 1.0


On Thu, 10 Oct 1996, A.Appleyard wrote:

>   In djgppfaq.txt unzipped from simtelnet/gnu/djgpp/v2/faq201b.zip (7 July
> 1996), are these lines:-
> 
> work with EMX, and assume you unpacked everything into `/rsxwdk.'  You will
>           `AUTOEXEC.BAT.'
>           `AUTOEXEC.BAT.'

Is this really so important, or just a minor gripe?  (I don't pretend to 
be the next winner of the Nobel prize for literature, you know.)

More to the point: first, I think that at least american style guides
always say to put the stop inside the quotes.  But the real reason is much
more obscure and much more difficult to deal with: the names which are
single-quoted in the text version, are rendered in different font in the 
HTML version, and if the dot is not rendered with the same font, the word 
looks ugly (at least with some fonts), and may be even broken into the 
next line if it's too close to the line margin (that's why the HTML file 
is produced with preposterously large line length).

In general, the tools that I've built, which allow to produce all of the
different formats from the same source, are really quite fragile because
of such subtle points (there are quite a few more).  The result is really
a compromise between what I would *want* to see and what I could achieve
with reasonable amount of effort.  (I usually read the FAQ in each format
2-3 times before I'm satisfied with the results.) Therefore please be more
forgiving to the form (although, by all means do tell me what you think: I
*will* correct those things which are correctable). 

- Raw text -


  webmaster     delorie software   privacy  
  Copyright © 2019   by DJ Delorie     Updated Jul 2019