diff options
author | Michael Vogt <michael.vogt@ubuntu.com> | 2007-08-03 11:21:19 +0200 |
---|---|---|
committer | Michael Vogt <michael.vogt@ubuntu.com> | 2007-08-03 11:21:19 +0200 |
commit | 8da1f029b7544202da68100b22a2901809bf07af (patch) | |
tree | 818203202d4329bc3953304928abcaf1337a9fae /doc | |
parent | b30aa0ec229b851b25ea07c758283f502a3f2cba (diff) |
* doc/examples/configure-index:
- updated Dir::Log::Terminal
* apt-pkg/deb/dpkgpm.cc:
- make the terminal log optional
- rename Dir::Log::Name to Dir::Log::Terminal
Diffstat (limited to 'doc')
-rw-r--r-- | doc/examples/configure-index | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/examples/configure-index b/doc/examples/configure-index index 0bf407a4d..4c730795d 100644 --- a/doc/examples/configure-index +++ b/doc/examples/configure-index @@ -230,7 +230,7 @@ Dir "/" // Location of the logfile Log "var/log/apt" { - Name "term.log"; + Terminal "term.log"; }; }; |