[ros-users] Wiki Dump

[Brian Gerkey]

On Fri, Nov 11, 2011 at 7:35 AM, Felix Endres
<endres at informatik.uni-freiburg.de> wrote:
> The following solved the problem localy:
> $ find -type f -name '*.html' -print0 | xargs -0 sed -i 's#www.ros.org/##g'
> hence http://ros.informatik.uni-freiburg.de/roswiki/ is browsable again.

That's pretty much what I was thinking.  Thanks for confirming that it
was sufficient.  I changed the export script and kicked off another
job.  There should be a good tarball in a couple of hours.

	brian.