Re: remove duplicate ports webpages

2013-12-11 Thread Stuart Henderson
On 2013/12/10 20:47, Daniel Dickman wrote: > The web pages that were merged into the ports faq are still on the > website and people keep emailing around links to them and updating > them without remembering to update the ports faq. > > This patch replaces each of the old pages with a redirect pag

remove duplicate ports webpages

2013-12-10 Thread Daniel Dickman
The web pages that were merged into the ports faq are still on the website and people keep emailing around links to them and updating them without remembering to update the ports faq. This patch replaces each of the old pages with a redirect page to the ports faq. Since it's a a bit on the large s