]> git.donarmstrong.com Git - debian/debian-policy.git/commitdiff
Branden
authorManoj Srivastava <srivasta@debian.org>
Thu, 16 Jun 2005 05:35:21 +0000 (05:35 +0000)
committerManoj Srivastava <srivasta@debian.org>
Thu, 16 Jun 2005 05:35:21 +0000 (05:35 +0000)
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

index 11da59c3b6f143de65d26f4bdd6a18f49a5cffde..89624aae6254d6c9d582985a8815bbf0137731ee 100644 (file)
@@ -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