diff -r d9e43511d11c -r 06e0fb20a97c tools/lgf-gen.cc
--- a/tools/lgf-gen.cc	Mon Feb 23 11:30:15 2009 +0000
+++ b/tools/lgf-gen.cc	Mon Feb 23 11:31:22 2009 +0000
@@ -699,6 +699,7 @@
 //     .mandatoryGroup("dist")
     .onlyOneGroup("dist")
     .boolOption("eps", "Also generate .eps output (prefix.eps)")
+    .boolOption("nonodes", "Draw the edges only in the generated .eps")
     .boolOption("dir", "Directed digraph is generated (each arcs are replaced by two directed ones)")
     .boolOption("2con", "Create a two connected planar digraph")
     .optionGroup("alg","2con")
@@ -819,7 +820,7 @@
   if(ap["eps"])
     graphToEps(g,prefix+".eps").scaleToA4().
       scale(600).nodeScale(.005).arcWidthScale(.001).preScale(false).
-      coords(coords).run();
+      coords(coords).hideNodes(ap.given("nonodes")).run();
 
   if(ap["dir"])
     DigraphWriter<ListGraph>(g,prefix+".lgf").