From 32c8f64e2acbaab7fdb652168d7d6c1b325d11c4 Mon Sep 17 00:00:00 2001 From: Luca Bruno Date: Sat, 4 Oct 2008 12:43:14 +0200 Subject: [PATCH] * Better documentation for apt-get --option --- debian/changelog | 2 ++ doc/apt.ent | 2 ++ 2 files changed, 4 insertions(+) diff --git a/debian/changelog b/debian/changelog index 7dbd344a8..7aec1f39f 100644 --- a/debian/changelog +++ b/debian/changelog @@ -6,6 +6,8 @@ apt (0.7.15~exp4) UNRELEASED; urgency=low closes: #368665, #298821, #411532, #431636, #461458) * Document apt-key finger and adv commands (thanks to Stefan Schmidt, closes: #350575) + * Better documentation for apt-get --option + (thanks to Tomas Pospisek, closes: #386579) * Retitle the apt-mark.8 manpage (thanks to Justin Pryzby, closes: 471276) * Better documentation on using both APT::Default-Release and /etc/apt/preferences (thanks to Ingo Saitz, closes: #145575) diff --git a/doc/apt.ent b/doc/apt.ent index 44e303495..b7d03b585 100644 --- a/doc/apt.ent +++ b/doc/apt.ent @@ -259,6 +259,8 @@ Set a Configuration Option; This will set an arbitrary configuration option. The syntax is . + and can be used multiple + times to set different options. -- 2.50.0