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 /doc/makefile | |
parent | f31d34ee967cb1637c0efeb408c76a2c26bbdc07 (diff) | |
parent | ce34af08ad6866869147e3525fa6c89d8dcb4601 (diff) |
Merge remote-tracking branch 'upstream/debian/sid' into feature/source-deb822
Diffstat (limited to 'doc/makefile')
-rw-r--r-- | doc/makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/makefile b/doc/makefile index 49f3e1b56..4b63e542f 100644 --- a/doc/makefile +++ b/doc/makefile @@ -28,7 +28,7 @@ include $(COPY_H) clean: clean/subdirs clean/examples veryclean: veryclean/subdirs clean/examples -manpages: manpages/subdirs apt-vendor.ent +manpages: apt-vendor.ent manpages/subdirs debiandoc: debiandoc/subdirs DOCUMENTATIONPO = $(patsubst %.po,%,$(notdir $(wildcard po/*.po))) |