Jeroen Ruigrok/asmodai <asmodai@wxs.nl> writes:
> 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?
Documentation on how to do it would be great. A script would be even
better, if you think it's completely automatable; but we can make the
script given the information.
regards, tom lane
