RFC: future directions of the documentation after the XML migration

[Simon L. B. Nielsen]

On 16 Sep 2012, at 09:17, Mark Linimon <linimon at lonesome.com> wrote:

> I'm ambivalent about whether they should be deleted or archived intto
> some "historic/" subdirectory, but they don't need to be things that
> first-time users encounter.

At least for web pages, moving them makes them less useful as we break links.

But I agree that all historic documents should be made clearly historic so new users don't get confused by them.

-- 
Simon L. B. Nielsen