diff options
| author |  Joey Hess <joeyh@joeyh.name> | 2016-11-30 12:50:49 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2016-11-30 12:50:49 -0400 |
| commit | 8cbab786bb7592fda2253b1c0d71c9c025e9984b (patch) | |
| tree | 331b26bcae0f2fb85af37f373adb804b9ca7b5c7 /ghci | |
| parent | a5134d6f3fe92f9a24b7459eda648ee443c70cc1 (diff) | |
prefer xdot over dot
* map: Run xdot if it's available in PATH. On OSX, the dot command
does not support graphical display, while xdot does.
* Debian: xdot is a better interactive viewer than dot, so Suggest
xdot, rather than graphviz.
Diffstat (limited to 'ghci')
0 files changed, 0 insertions, 0 deletions