search

ros-infrastructure / mirror

ROS Mirroring Config
4 stars 2 forks source link

Include REP pages in mirror #13

Closed gavanderhoorn closed 6 years ago

gavanderhoorn commented 6 years ago

It would be good if the REP HTML pages would also be replicated to all mirrors.

That doesn't appear to be the case right now, and with docs.ros.org going down, it would appear www.ros.org also goes down, which makes the REPs inaccessible.

tfoote commented 6 years ago

I don't think it's worth the effort to add mirroring infrastructure.

The REP content is small a few MB and is entirely generated from the github repo: https://github.com/ros-infrastructure/rep to reproduce it locally you just have to run make with docutils installed after cloning it.