Using and Printing Dotty Files
Note: it is not obvious where $LEFTYPATH should be set (Unix versions). It seems that it should be set to wherever the dotty.lefty file is.
To get rid of the silly blobs on the edges, find the dotty.lefty file and change edgehandles=1 to edgehandles=0. If you can't edit that file, copy that directory, make the change there, and point $LEFTYPATH to that directory.
To print a dotty file sensibly, you need to use dot rather than dotty, e.g.:
dot -Gpage="8.0,11.0" -Gratio=auto -Tps -o out.ps uqbt.dotThis selects A4 paper size (expressed in inches, with about 0.3"x0.7" margins), and the key thing is the auto sizing with "ratio=auto". The output is in the postscript file out.ps, which can be printed. It will be at a sensible size (no more than 50% shrinking) on multiple pages. For more information on dotty, see the user guide (internal link only, but you can get this from the AT&T site). If your printout has a strip missing (e.g. top edge), repeat with a smaller page size (margin= doesn't seem to work for me). For dertails, see the online documentation.
You can also place the page and ratio commands in each .dot file; this will not affect viewing with dotty. For example:
digraph todot_output {
ratio=auto;
page="8.0,11.0"
"main" [shape=box,style=filled,color=yellow];
19 [shape=triangle,label="2: ret"];
That way, you can skip the two -G switches when converting the graph to
postscript. Note the shape,
style, and color options. If you actually want to force everything on one page, use size=
instead of page=. If you want
a size between what page=
and what size= gives, you
can give both a page= and
a size=, but don't
specify ratio=auto. It
often seems to overflow the given size, though, so much experimentation
is required at times.
