Karl Goetz wrote: > Please don't place it directly under /usr/share/info.
Why not? That's the place where it should be, both according to the GNU Coding Standards and the FHS to which Debian adheres to. > Perhaps /usr/share/doc/gnudocs or some such. Useless, as all info browsers should be patched to read that subdir's dir file. OTOH `gnudocs' is also confusing, as Debian will reject all GFDL'ed manuals with invariant sections, not only those of GNU packages. _______________________________________________ gNewSense-dev mailing list gNewSense-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/gnewsense-dev