From cb2ffc67f7b85aadd488dae572d8b9f67da633c9 Mon Sep 17 00:00:00 2001
From: Manoj Srivastava <srivasta@debian.org>
Date: Thu, 16 Jun 2005 05:35:21 +0000
Subject: [PATCH] Branden

Author: branden
Date: 2002/11/20 15:07:34
Branden
* This won't build.
* Replace unrecognized "kbd" tags with unrecognized "josip" tags while
Josip figures out what markup language he wants to use for the
Policy Manual.
* Moral of the story: if you can't bitch about something that can be
fixed, don't bitch at all.

git-archimport-id: srivasta@debian.org--etch/debian-policy--devel--3.0--patch-161
---
 policy.sgml | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/policy.sgml b/policy.sgml
index 11da59c..89624aa 100644
--- a/policy.sgml
+++ b/policy.sgml
@@ -7484,8 +7484,8 @@ name ["<var>syshostname</var>"]:
         </p>
 
 	<p>
-          Manual pages should be installed compressed using <kbd>gzip
-          -9</kbd>.
+          Manual pages should be installed compressed using <josip>gzip
+          -9</josip>.
         </p>
 
 	<p>
@@ -7521,7 +7521,7 @@ name ["<var>syshostname</var>"]:
 
 	<p>
 	  Info documents should be installed in <file>/usr/share/info</file>.
-	  They should be compressed with <kbd>gzip -9</kbd>.
+	  They should be compressed with <josip>gzip -9</josip>.
         </p>
 
 	<p>
@@ -7567,7 +7567,7 @@ install-info --quiet --remove /usr/share/info/foobar.info
 	  Text documentation should be installed in the directory
 	  <file>/usr/share/doc/<var>package</var></file>, where
 	  <var>package</var> is the name of the package, and
-          compressed with <kbd>gzip -9</kbd> unless it is small.
+          compressed with <josip>gzip -9</josip> unless it is small.
         </p>
 
 	<p>
@@ -7782,7 +7782,7 @@ install-info --quiet --remove /usr/share/info/foobar.info
 
 	<p>
 	  All of these files should be installed compressed using
-	  <kbd>gzip -9</kbd>, as they will become large with time even
+	  <josip>gzip -9</josip>, as they will become large with time even
 	  if they start out small.
 	</p>
 
@@ -9449,7 +9449,7 @@ install-info --quiet --remove /usr/share/info/foobar.info
 	    <item>
 
 	      <p>
-		This is a compressed (with <kbd>gzip -9</kbd>)
+		This is a compressed (with <josip>gzip -9</josip>)
 		<prgn>tar</prgn> file containing the source code from
 		the upstream authors of the program.  The tarfile
 		unpacks into a directory
-- 
2.39.2