[ros-users] request for help: mirroring and better wiki exporting

[Brian Gerkey]

hi,

Well, we've had a fantastic response to the call for mirrors.  There
are now 5 mirrors of the ROS wiki:
  http://ros.org/wiki/Mirrors
Thanks to everybody who's helping out with the mirrors!

Now that more people are using (and potentially relying on) the
mirrored wiki content, I'll reiterate the second part of the help
request from last week:

> (2) The wiki export system is primitive, to say the least.  This
> ticket describes some important missing features, and includes the
> script that we're using to do the export:
> https://code.ros.org/trac/ros/ticket/3281.  Any volunteers to work on
> improving the export system?  E.g., we might be able to use Moin's own
> synchronization system (I wasn't able to make it work, but I'm sure
> that somebody can).  And there's probably a way to dump the whole
> thing into a PDF, which some people might prefer for offline viewing.

What we have now works OK, so this isn't urgent.  But there's
definitely room for improvement; if you're interested in helping, let
me know, and we'll arrange access to a clone of the server for
hacking.

	thanks,
	brian.