Bug#1773: duplicate Keystroke docs
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
the file /usr/doc/HOWTO/mini/Keystroke should be eliminated.
(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