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/makefile | |
| parent | f31d34ee967cb1637c0efeb408c76a2c26bbdc07 (diff) | |
| parent | ce34af08ad6866869147e3525fa6c89d8dcb4601 (diff) | |
Merge remote-tracking branch 'upstream/debian/sid' into feature/source-deb822
Diffstat (limited to 'vendor/makefile')
| -rw-r--r-- | vendor/makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/vendor/makefile b/vendor/makefile index a6d53abd0..c05b516ef 100644 --- a/vendor/makefile +++ b/vendor/makefile @@ -12,8 +12,9 @@ doc: doc/subdirs clean: clean/subdirs veryclean: veryclean/subdirs dirs: dirs/subdirs +manpages: manpages/subdirs -all/subdirs binary/subdirs doc/subdirs dirs/subdirs: +all/subdirs binary/subdirs doc/subdirs dirs/subdirs manpages/subdirs: $(MAKE) -C current $(patsubst %/subdirs,%,$@) clean/subdirs veryclean/subdirs: |