.dot command support in the manual

[Bjoern Kriews]

On Saturday, May 24, 2003, at 01:24 AM, Joel wrote:

> Bjoern-
>
> Saw that you figured out the plugin preference problem, we have opened 
> up a feature request for .dot command support in the manualm it is 
> #9271 for future reference.
>

Thanks. It is a joyful experience to see such responsiveness.
(and now I'm blatantly posting it to the list so others can raise their 
votes).

To reduce the amount of work on the feature, I think a very short list 
of
which .dot commands (and which of their options) are supported
would suffice, for the rest you can just link to the GraphViz manual.

   Bjoern