diff options
| author | Michael Vogt <mvo@debian.org> | 2013-12-07 17:54:11 +0100 |
|---|---|---|
| committer | Michael Vogt <mvo@debian.org> | 2013-12-07 17:54:11 +0100 |
| commit | 8fafb8adc032002284f53359e1308efa609f9239 (patch) | |
| tree | 2348ae1953446a069c0e44bcd20915c22c4d89b1 /vendor/makefile | |
| parent | bc435af429f427c6a5db971c3d4cc7f15a2fe55d (diff) | |
| parent | ce34af08ad6866869147e3525fa6c89d8dcb4601 (diff) | |
Merge branch 'debian/sid' into ubuntu/master
Conflicts:
debian/changelog
debian/gbp.conf
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: |