From 88193353ada633b70bd63be0ebf6827d579b8eeb Mon Sep 17 00:00:00 2001 From: Michael Vogt Date: Tue, 1 Apr 2014 14:24:17 +0200 Subject: remove no longer needed apt.7 page --- doc/en/makefile | 8 ++------ 1 file changed, 2 insertions(+), 6 deletions(-) (limited to 'doc/en/makefile') 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) -- cgit v1.2.3