DOTTY(1)
NAME
dotty - A Customizable Graph Editor
SYNOPSIS
dotty [ -V ] [ file ]
DESCRIPTION
dotty is a graph editor for the X Window System. It may be run as a
standalone editor, or as a front end for applications that use graphs.
It can control multiple windows viewing different graphs.
dotty is written on top of dot and lefty. lefty is a general-purpose
programmable editor for technical pictures. It has an interpretive
programming language similar to AWK and C. The user interface and
graph editing operations of dotty are written as lefty functions. Programmer-defined graph operations may be loaded as well. Graph layouts
are made by dot, which runs as a separate process that communicates
with lefty through pipes.
USAGE
The file name is optional. If present, the graph contained in that file
is displayed in the dotty window.
OPTIONS
-V Prints the version.