diff options
author | Michael Vogt <michael.vogt@ubuntu.com> | 2009-12-02 17:24:56 +0100 |
---|---|---|
committer | Michael Vogt <michael.vogt@ubuntu.com> | 2009-12-02 17:24:56 +0100 |
commit | f3ceaca7a648f7d93fa88106910151e69f498801 (patch) | |
tree | b2bf899c035363fbc0b561f1006a787cb06527f0 /doc/apt-config.8.xml | |
parent | 5085e660679cdbb51783702898c42000d5db4fba (diff) | |
parent | 16d7341fce96b089aa2a1c241acd0a72209bcd7f (diff) |
merge from the debian-sid branch
Diffstat (limited to 'doc/apt-config.8.xml')
-rw-r--r-- | doc/apt-config.8.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/apt-config.8.xml b/doc/apt-config.8.xml index 39fed5937..d4d36891f 100644 --- a/doc/apt-config.8.xml +++ b/doc/apt-config.8.xml @@ -21,6 +21,7 @@ <refmeta> <refentrytitle>apt-config</refentrytitle> <manvolnum>8</manvolnum> + <refmiscinfo class="manual">APT</refmiscinfo> </refmeta> <!-- Man page title --> |