var TITEMS = [ 
 ["What is NativeJ?", "html/overview.html", "11"],
 ["Features", "html/features.html", "11"],
 ["System requirements", "html/systemreq.html", "11"],
 ["Frequently asked questions", "html/faq.html", "11"],
 ["Project parameters", null, "1",
  ["Executable", "html/features/executable.html", "11"],
  ["Java Runtime", "html/features/jvm.html", "11"],
  ["Classpath", "html/features/classpath.html", "11"],
  ["Application", "html/features/gui.html", "11"],
  ["Service", "html/features/service.html", "11"],
  ["Splash Screen", "html/features/splash.html", "11"],
  ["Version Info", "html/features/version.html", "11"],
  ["Manifest", "html/features/manifest.html", "11"],
  ["Messages", "html/features/messages.html", "11"]
 ],
 ["Tutorials", null, "1",
  ["Generating a console executable", "html/tutorials/console.html", "11"],
  ["Generating a graphical executable", "html/tutorials/gui.html", "11"],
  ["Generating a Win32 service executable", "html/tutorials/service.html", "11"]
 ],
 ["Advanced topics", null, "1",
  ["Using the command-line version of NativeJ", "html/advanced/commandline.html", "11"],
  ["Bundling a private Java runtime", "html/advanced/bundling.html", "11"],
  ["How NativeJ searches for a suitable JDK/JRE", "html/advanced/searchjvm.html", "11"],
  ["Environment variables substitution", "html/advanced/envvar.html", "11"],
  ["NativeJ-specific properties", "html/advanced/properties.html", "11"],
  ["JAR files embedding", "html/advanced/embedding.html", "11"],
  ["An alternative approach to classpath", "html/advanced/classpath.html", "11"],
  ["Implementing a generic start/stop mechanism for services", "html/advanced/startstop.html", "11"],
  ["NativeJ 1.0.x project files", "html/advanced/project.html", "11"]
 ],
 ["Additional information", null, "1",
  ["Copyright and license", "html/info/license.html", "11"],
  ["Support and updates", "html/info/support.html", "11"],
  ["Ordering information", "html/info/order.html", "11"],
  ["Version history", "html/info/history.html", "11"]
 ]
];


var FITEMS = arr_flatten(TITEMS);

function arr_flatten (x) {
   var y = []; if (x == null) return y;
   for (var i=0; i<x.length; i++) {
      if (typeof(x[i]) == "object") {
         var flat = arr_flatten(x[i]);
         for (var j=0; j<flat.length; j++)
             y[y.length]=flat[j];
      } else {
         if ((i%3==0))
          y[y.length]=x[i+1];
      }
   }
   return y;
}