htdocs/install/ style

[Gerald Pfeifer]

On Sat, 29 May 1999, Robert Lipe wrote:
>> I'm not that sure what to use for actual commands. How about this?
>>   `<code>./some/command --with options --and -such</code>`
> I can live with that.

Thanks for your patch, Robert!

Would you mind adding backquotes "`" before and after all command-lines
as in my original example?

  `<code>./some/command --with options --and -such</code>`

The rationale is that some web browsers like lynx do display <CODE>
exactly like regular text, so it is impossible to spot where exactly
a command-line starts resp. ends.


In my opinion this is not needed when referring to options, as in
  "...use the <CODE>-super-optimizer</CODE> option to..."
but if that's easier (to add automagically) and you prefer to have
a single convention, we can always use quotes. -- After all, that's
exactly the reason why I asked on this list! ;-)

Any comments?

Gerald
-- 
Gerald "Jerry" pfeifer@dbai.tuwien.ac.at http://www.dbai.tuwien.ac.at/~pfeifer/