On Wed, Jul 24, 2002 at 11:11:48PM +0100, James Cox wrote: > kick me if i got this wrong, but manual was always copied into > @@INSTDIR@@/html/manual right?
Nah, we switched it to go to $(prefix)/manual by default. It's not in the htdocs dir now. -- justin
