diff options
| author | Michael Vogt <mvo@debian.org> | 2013-12-06 17:29:50 +0100 |
|---|---|---|
| committer | Michael Vogt <mvo@debian.org> | 2013-12-06 17:29:50 +0100 |
| commit | 5cc8cbf368251c4be4ffa1482fa5fb6b9d950452 (patch) | |
| tree | 92a2475097999b110efd61cd8569ae1000faadfd /vendor/makefile | |
| parent | e96e4e9cef3a0137b789117f72a93a8e9106562e (diff) | |
fix build failure with the new apt-vendors stuff
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: |