> Date: Thu, 5 Jul 2007 19:46:25 +0200 > From: Patrice Dumas <[EMAIL PROTECTED]> > > In any case I agree that the discrepancy between the GNU manuals > directory layout as setup by gendoc.sh and the ref to external html > manuals is a bit problematic.
Yeah. Someone's got to report this to the relevant GNU maintainers.
