moin
I just did a cvs co of the apt-howto and must say you replaced too much.
Priority is also used in debian/control and apt-cache show outputi - and
there without the Pin- prefix. Also the korean version already got the
fieldname right, so you have "Pin-Pin-Priority" in CVS :)
Attached is a diff against the apt-howto directory in the debian-doc
repository that fixes the use of Priority and Pin-Priority.
Ingo
--
echo "I love Windows" | tr Windsaw Linux\\b
Attachment:
apt-howto.pin-priority.diff.gz
Description: Binary data
Attachment:
pgptGooJDv4O9.pgp
Description: PGP signature