Closed 130s closed 9 years ago
Experimenting to publish documents into doc.ros.org while original contents remain stored in the development repository. Still not ideal since we wanted to publish into wiki.ros.org but better.
doc.ros.org
wiki.ros.org
Cf. https://github.com/tork-a/rtmros_nextage/issues/12
Now locally generated html files are deleted.
Experimenting to publish documents into
doc.ros.org
while original contents remain stored in the development repository. Still not ideal since we wanted to publish intowiki.ros.org
but better.Cf. https://github.com/tork-a/rtmros_nextage/issues/12