Package: doc Version: 0.93-5 There are nearly duplicate entries for the Keystroke HOWTO in /usr/doc/HOWTO and /usr/doc/HOWTO/mini. The file in /usr/doc/HOWTO has HOWTO mis-spelled in its first line (HOWTU), whereas the file in /usr/doc/HOWTO/mini has no such problem.
Two fixes are needed: HOWTO should be spelled correctly in the document /usr/doc/HOWTO/Keystroke-HOWTO, and the file /usr/doc/HOWTO/mini/Keystroke should be eliminated. Susan Kleinmann (P.S. I wish there were a mailing list for micro-bugs.) ii source 1.2.13 4 Linux kernel source. ii dpkg 1.0.5 0 Package maintenance system for Debian GNU/Linux