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/debian/makefile | |
parent | f31d34ee967cb1637c0efeb408c76a2c26bbdc07 (diff) | |
parent | ce34af08ad6866869147e3525fa6c89d8dcb4601 (diff) |
Merge remote-tracking branch 'upstream/debian/sid' into feature/source-deb822
Diffstat (limited to 'vendor/debian/makefile')
-rw-r--r-- | vendor/debian/makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/vendor/debian/makefile b/vendor/debian/makefile index dd35a70f0..1f82d7f47 100644 --- a/vendor/debian/makefile +++ b/vendor/debian/makefile @@ -5,7 +5,7 @@ SUBDIR=vendor/debian # 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#&stable-codename;#$(shell ../getinfo debian-stable-codename)#g' $< > $@ |