diff options
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) |