Jeroen Ruigrok/asmodai wrote:
> Anyway, what would be acceptable? I can understand that all the
> necessary tools needed are definately not wanted in the repository.
> Would a document with instructions on how to accomplish this suffice
> to have people build the documentation themselves? Along with the
> appropriate make glue to get this done given all dependencies have
> been met?
We have the documentation and the make rules, we just don't have the
tools that don't crash all the time.