1.1 --- a/tools/lgf-gen.cc	Mon Feb 23 11:30:15 2009 +0000
     1.2 +++ b/tools/lgf-gen.cc	Mon Feb 23 11:31:22 2009 +0000
     1.3 @@ -699,6 +699,7 @@
     1.4  //     .mandatoryGroup("dist")
     1.5      .onlyOneGroup("dist")
     1.6      .boolOption("eps", "Also generate .eps output (prefix.eps)")
     1.7 +    .boolOption("nonodes", "Draw the edges only in the generated .eps")
     1.8      .boolOption("dir", "Directed digraph is generated (each arcs are replaced by two directed ones)")
     1.9      .boolOption("2con", "Create a two connected planar digraph")
    1.10      .optionGroup("alg","2con")
    1.11 @@ -819,7 +820,7 @@
    1.12    if(ap["eps"])
    1.13      graphToEps(g,prefix+".eps").scaleToA4().
    1.14        scale(600).nodeScale(.005).arcWidthScale(.001).preScale(false).
    1.15 -      coords(coords).run();
    1.16 +      coords(coords).hideNodes(ap.given("nonodes")).run();
    1.17  
    1.18    if(ap["dir"])
    1.19      DigraphWriter<ListGraph>(g,prefix+".lgf").