diff options
| author | Michael Vogt <mvo@debian.org> | 2009-09-04 20:54:48 +0200 |
|---|---|---|
| committer | Michael Vogt <mvo@debian.org> | 2009-09-04 20:54:48 +0200 |
| commit | 2d4aa48a2e3e493780a797b828a04066ef1994fa (patch) | |
| tree | ddbc618f8e9a52a612f70860eb23884a001a064c /doc/apt_preferences.5.xml | |
| parent | 85b6d40dc0d41cc196f05e921260a592fe0ffd94 (diff) | |
| parent | b43af876ed0901eabfb7fe93276eb9272cacf22d (diff) | |
merged po4a change from David, many thanks
Diffstat (limited to 'doc/apt_preferences.5.xml')
| -rw-r--r-- | doc/apt_preferences.5.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/apt_preferences.5.xml b/doc/apt_preferences.5.xml index ff63f1dd3..12ea606b7 100644 --- a/doc/apt_preferences.5.xml +++ b/doc/apt_preferences.5.xml @@ -20,6 +20,7 @@ <refmeta> <refentrytitle>apt_preferences</refentrytitle> <manvolnum>5</manvolnum> + <refmiscinfo class="manual">APT</refmiscinfo> </refmeta> <!-- Man page title --> |