Merge branch 'master' into bug184064-rra

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

diff --git a/policy.sgml b/policy.sgml
index 029a34c30b1d28624e348766f10d96bd63dc0e7b..e5a5a40470a3f6ee62acc7038c06c440ac083395 100644 (file)
--- a/policy.sgml
+++ b/policy.sgml
@@ -853,7 +853,7 @@
            numbers based on some date formats (sometimes used for
            development or "snapshot" releases) will not be ordered
            correctly by the package management software.  For
-           example, <prng>dpkg</prng> will consider "96May01" to be
+           example, <prgn>dpkg</prgn> will consider "96May01" to be
            greater than "96Dec24".
          </p>