diff options
| author | Michael Vogt <michael.vogt@ubuntu.com> | 2010-10-15 18:30:09 +0200 |
|---|---|---|
| committer | Michael Vogt <michael.vogt@ubuntu.com> | 2010-10-15 18:30:09 +0200 |
| commit | b71a4a8dcd8b1d0e82f8071e5e993cc6423c6a57 (patch) | |
| tree | 88c3ff0df846f2af9e901872f67e21b051129e3f /doc/apt_preferences.5.xml | |
| parent | 58d0598ad6f1c514bf7d89fdea676a697f0d9388 (diff) | |
| parent | 95fe33dc131bee1a0917ba647e44855c10083ab5 (diff) | |
merged from debian-sid
Diffstat (limited to 'doc/apt_preferences.5.xml')
| -rw-r--r-- | doc/apt_preferences.5.xml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/apt_preferences.5.xml b/doc/apt_preferences.5.xml index abcf56744..54c01100c 100644 --- a/doc/apt_preferences.5.xml +++ b/doc/apt_preferences.5.xml @@ -5,6 +5,9 @@ <!ENTITY % aptent SYSTEM "apt.ent"> %aptent; +<!ENTITY % aptverbatiment SYSTEM "apt-verbatim.ent"> +%aptverbatiment; + ]> <refentry> |