I don't think we have any mechanism set up for automated redirects, but a simple note in the .txt file saying "This document has moved to ___" would probably be fine (i.e. rather than deleting it). Obviously a redirect would be better but I don't know how to do that.
Jordan On Jan 7, 2013, at 9:41 , Michael Gottesman <[email protected]> wrote: > What do you mean by this specifically (i.e. what would it entail in terms of > this patch). > > Michael > > On Jan 7, 2013, at 9:20 AM, Jordan Rose <[email protected]> wrote: > >> Since this is a spec, we should probably keep the old URL live, even if it >> just points to the generated .html. >> >> Jordan >> >> >> On Jan 6, 2013, at 20:39 , Sean Silva <[email protected]> wrote: >> >>> LGTM >>> >>> -- Sean Silva >>> >>> On Sun, Jan 6, 2013 at 11:22 PM, Michael Gottesman <[email protected]> >>> wrote: >>>> Subject says it all. Please review: >>>> >>>> >>>> >>>> >>>> Michael >>>> >>>> _______________________________________________ >>>> cfe-commits mailing list >>>> [email protected] >>>> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits >>>> >>> _______________________________________________ >>> cfe-commits mailing list >>> [email protected] >>> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits >> > _______________________________________________ cfe-commits mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
