html not removed after wml removal (was: Broken link on www.debian.org/CD/pik/)
On Mon, Mar 24, 2008 at 03:40:04PM +0100, Simon Paillard wrote:
> On Sun, Mar 23, 2008 at 10:11:56PM +0000, Steve McIntyre wrote:
> > On Sun, Mar 23, 2008 at 11:42:06AM +0100, Simon Paillard wrote:
> > > Does someone see any reason to not remove this /pik/ directory ?
> > Yeah, you may as well remove it. We've not used pseudo-image-kit in
> > aaaages.
Since the removal of all files in */CD/pik/*, there are still remaining
compiled html files :
How can we definitely get rid of these files ?