var ns3_host = "file:///build/ns3-SSj31x/ns3-3.37/ns-3.37/";
var ns3_version = "ns-3.37 @ (+)";
var ns3_release = "doc/";
var ns3_local = "build/";
var ns3_doxy  = "html/";