Branden

[debian/debian-policy.git] / policy.sgml

diff --git a/policy.sgml b/policy.sgml
index 11da59c3b6f143de65d26f4bdd6a18f49a5cffde..89624aae6254d6c9d582985a8815bbf0137731ee 100644 (file)
--- 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