diff options
| author | Michael Vogt <michael.vogt@ubuntu.com> | 2007-11-28 16:46:46 +0100 |
|---|---|---|
| committer | Michael Vogt <michael.vogt@ubuntu.com> | 2007-11-28 16:46:46 +0100 |
| commit | ac3dee0e5091f19b77de96eec5241cb57c13f2a1 (patch) | |
| tree | 2a82dd1c7a487f830bc4ec569c9f4e3775ddf4e8 /doc/makefile | |
| parent | 318dd26ac9bdbb30bcd22201393dc73d8566b3cf (diff) | |
| parent | 757f20941a19d5e1e9ebd74ecd5a4d5b0012644f (diff) | |
merge with the debian tree
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) |