CVSROOT: /org/cvs.debian.org/cvs/debian-policy Module name: debian-policy Changes by: branden Tue Nov 19 16:00:41 MST 2002 Modified files: . : policy.sgml Log message: Branden * Change markup of "gzip -9" to a kbd element everywhere. * Change markup of "gzip" in one place from a tt to a prgn element.