diff options
| author | Michael Vogt <mvo@debian.org> | 2014-04-01 16:12:22 +0200 |
|---|---|---|
| committer | Michael Vogt <mvo@debian.org> | 2014-04-01 16:12:22 +0200 |
| commit | d13bb95849fd168200554972b4295c40933e2461 (patch) | |
| tree | 6a5044088b4164c29a76edbf34b30dfb4b7f52d1 /doc/en/makefile | |
| parent | 8a1c9010137a8c49d9808f2db34b9ee277138986 (diff) | |
| parent | c2d859fc8e2b2c74c3da5c722bd31b54d7020868 (diff) | |
Merge branch 'debian/sid' into ubuntu/master
Diffstat (limited to 'doc/en/makefile')
| -rw-r--r-- | doc/en/makefile | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/doc/en/makefile b/doc/en/makefile index d1415fea1..1be137c73 100644 --- a/doc/en/makefile +++ b/doc/en/makefile @@ -19,23 +19,19 @@ apt-vendor.ent: ../../vendor/current/apt-vendor.ent ln -sf $(shell readlink -f $^) $@ # Install generation hooks -manpages: $($(LOCAL)-LIST) apt.7 +manpages: $($(LOCAL)-LIST) $($(LOCAL)-LIST) :: % : ../%.xml $(STYLESHEET) $(INCLUDES) echo Creating man page $@ $(XSLTPROC) -o $@ $(STYLESHEET) $< -apt.7: ../apt.7 - cp -a ../apt.7 apt.7 - # Clean rule .PHONY: clean/$(LOCAL) veryclean: clean/$(LOCAL) clean: clean/$(LOCAL) clean/$(LOCAL): - -rm -rf $($(@F)-LIST) apt.7 apt-vendor.ent + -rm -rf $($(@F)-LIST) apt-vendor.ent endif # Chain to the manpage rule -SOURCE = apt.7 include $(MANPAGE_H) |