I remember there once was some discussion about whether/where to install HTML docs created from .texi files. If I remember well, we mostly agreed that we should install them in a subdirectory of the package's doc dir, but nobody took a decision about how it should be named. And nothing was made policy.
What's the current status of this ? -- Yann Dirson <[EMAIL PROTECTED]> | Stop making M$-Bill richer & richer, alt-email: <[EMAIL PROTECTED]> | support Debian GNU/Linux: debian-email: <[EMAIL PROTECTED]> | more powerful, more stable ! http://www.a2points.com/homepage/3475232 | ----------------------------------------- A computer engineer's looking for a job ! -----------------------------------------
