diff options
| author | Michael Vogt <michael.vogt@ubuntu.com> | 2007-11-28 14:00:40 +0100 |
|---|---|---|
| committer | Michael Vogt <michael.vogt@ubuntu.com> | 2007-11-28 14:00:40 +0100 |
| commit | ce1b2acbafafe111a09846b15183ef42eecf2be5 (patch) | |
| tree | 88378b5b8b341e16f2a3647ca1cdf9a145689fd5 /doc/makefile | |
| parent | 7052511ef60897a02c00da43a309465380f93603 (diff) | |
| parent | 757f20941a19d5e1e9ebd74ecd5a4d5b0012644f (diff) | |
merge from the debian apt branch
Diffstat (limited to 'doc/makefile')
| -rw-r--r-- | doc/makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/makefile b/doc/makefile index 5f774b825..8a8a04c03 100644 --- a/doc/makefile +++ b/doc/makefile @@ -15,7 +15,7 @@ include $(DEBIANDOC_H) SOURCE = apt-cache.8 apt-get.8 apt-cdrom.8 apt.conf.5 sources.list.5 \ apt-config.8 apt_preferences.5 \ apt-sortpkgs.1 apt-ftparchive.1 apt-extracttemplates.1 \ - apt-key.8 apt-secure.8 + apt-key.8 apt-secure.8 apt-mark.8 INCLUDES = apt.ent include $(XML_MANPAGE_H) |