update libraries in lib/

[fleet.git] / src / edu / berkeley / fleet / doc / Doc.java

diff --git a/src/edu/berkeley/fleet/doc/Doc.java b/src/edu/berkeley/fleet/doc/Doc.java
index 58ba206..8d23880 100644 (file)
--- a/src/edu/berkeley/fleet/doc/Doc.java
+++ b/src/edu/berkeley/fleet/doc/Doc.java
@@ -23,6 +23,7 @@ public class Doc {
     private static void print(PrintWriter pw, ShipDescription sd) throws Exception {
         pw.println("\\pagebreak");
         pw.println("\\section*{The {\\tt "+sd.getName()+"} Ship}");
+        pw.println("\\addcontentsline{toc}{subsection}{"+sd.getName()+"}");
         String tex = sd.getSection("tex");
         /*
         for(PumpDescription bbd : sd) {