remove dead links to Dotty, Lefty, Lneato man page PDFs

The code that generates these files was removed in
b2f287ca315dd5bf689d9ce2ca71dbfe63fb8a61.

diff --git a/doc/index.html b/doc/index.html
index c894bbca5e4868288ac2353c051a16844c84dbc7..99e97fbe40608634af64e5f7c044d6c7bc03119a 100644 (file)
--- a/doc/index.html
+++ b/doc/index.html
@@ -29,7 +29,6 @@
   <li><a href="../pdf/circo.1.pdf">circo.1</a>
   <li><a href="../pdf/dijkstra.1.pdf">dijkstra.1</a>
   <li><a href="../pdf/dot.1.pdf">dot.1</a>
-  <li><a href="../pdf/dotty.1.pdf">dotty.1</a>
   <li><a href="../pdf/fdp.1.pdf">fdp.1</a>
   <li><a href="../pdf/gc.1.pdf">gc.1</a>
   <li><a href="../pdf/gml2gv.1.pdf">gml2gv.1</a>
@@ -39,8 +38,6 @@
   <li><a href="../pdf/gvpack.1.pdf">gvpack.1</a>
   <li><a href="../pdf/gvpr.1.pdf">gvpr.1</a>
   <li><a href="../pdf/gxl2gv.1.pdf">gxl2gv.1</a>
-  <li><a href="../pdf/lefty.1.pdf">lefty.1</a>
-  <li><a href="../pdf/lneato.1.pdf">lneato.1</a>
   <li><a href="../pdf/mm2gv.1.pdf">mm2gv.1</a>
   <li><a href="../pdf/neato.1.pdf">neato.1</a>
   <li><a href="../pdf/nop.1.pdf">nop.1</a>