-* Internally split the project into non-doc and doc parts; add
- an extra root for the doc part and merge from it; move the
- internal doc source to a separate repository, like the +Meta
- repository; experiment if this results in a reasonable
- workflow, and document it in howto form if it does.
-
- The point is to make it possible to fork that part off to
- somebody else; then I do not have to maintain Documentation
- directory myself anymore, just like I simply slurp the latest
- gitk from Paul and not worry about it ;-).
-