diff options
| author | Michael Vogt <mvo@debian.org> | 2013-12-10 08:13:42 +0100 |
|---|---|---|
| committer | Michael Vogt <mvo@debian.org> | 2013-12-10 08:13:42 +0100 |
| commit | 35808e7a512d577e418b5e164d4fd5b58feaf42a (patch) | |
| tree | 0a55465ec6aa6b6fefdac5ccf7f8f01b3c9e998c /vendor/ubuntu/makefile | |
| parent | f31d34ee967cb1637c0efeb408c76a2c26bbdc07 (diff) | |
| parent | ce34af08ad6866869147e3525fa6c89d8dcb4601 (diff) | |
Merge remote-tracking branch 'upstream/debian/sid' into feature/source-deb822
Diffstat (limited to 'vendor/ubuntu/makefile')
| -rw-r--r-- | vendor/ubuntu/makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/vendor/ubuntu/makefile b/vendor/ubuntu/makefile index ea67e6e63..c4b35935f 100644 --- a/vendor/ubuntu/makefile +++ b/vendor/ubuntu/makefile @@ -5,7 +5,7 @@ SUBDIR=vendor/ubuntu # Bring in the default rules include ../../buildlib/defaults.mak -doc: sources.list +doc binary manpages: sources.list sources.list: sources.list.in ../../doc/apt-verbatim.ent sed -e 's#&ubuntu-codename;#$(shell ../getinfo ubuntu-codename)#g' $< > $@ |