def save(self):
html.indent(self.getroot())
print self._filename
self.write(os.path.join(env.ROSDOC_GEN,
self._filename.replace(".launch", ".html")),
encoding="utf8",
method="xml")
def __str__(self):
html.indent(self.getroot())
return html.tostring(self.getroot())
def save(self):
html.indent(self.getroot())
self.write(os.path.join(env.ROSDOC_GEN, "home.html"),
encoding="utf8",
method="xml")
def __str__(self):
html.indent(self)
return html.tostring(self)
def save(self):
html.indent(self.getroot())
#print "!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!",os.path.join(env.ROSDOC_ROOT, "%s.html"%self._pkg_name)
self.write(os.path.join(env.ROSDOC_GEN, "%s.html"%self._pkg_name),
encoding="utf8",
method="xml")
