diff options
author | Michael Vogt <mvo@debian.org> | 2010-10-14 14:38:56 +0200 |
---|---|---|
committer | Michael Vogt <mvo@debian.org> | 2010-10-14 14:38:56 +0200 |
commit | 5a66868c039f3ca0307816d52d393eb9c6f6d682 (patch) | |
tree | e1a0eba51fed7466b5b61fa892db1d70c7dd0809 /doc/apt_preferences.5.xml | |
parent | be61b563c20267c521494cca92bd7ac158366c89 (diff) | |
parent | a5c486e061f7da07784adbdce77a2775dfcac0ea (diff) |
merged from http://code.launchpad.net/~donkult/apt/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> |