|
From: | Urs Liska |
Subject: | Re: Website questions: Manual->Web |
Date: | Sat, 14 Dec 2013 11:18:58 +0100 |
User-agent: | Mozilla/5.0 (X11; Linux i686; rv:24.0) Gecko/20100101 Thunderbird/24.1.1 |
Am 14.12.2013 11:04, schrieb David
Kastrup:
t's not totally clear whether it has other functions at the moment that could disrupt the regular operations when removed. Would be removing it (locally), making a full make website (and make doc?) and walking through the whole site manually be enough to check this? |
[Prev in Thread] | Current Thread | [Next in Thread] |