diff options
| author | Julian Andres Klode <jak@debian.org> | 2016-08-09 17:40:01 +0200 |
|---|---|---|
| committer | Julian Andres Klode <jak@debian.org> | 2016-08-10 16:17:19 +0200 |
| commit | c85c4bed0a4b32ee2dcbd86ea819e39f3d8beb84 (patch) | |
| tree | be083f5da7110e52bb540bd05722a829798d1116 /buildlib/manpage.mak | |
| parent | fa1b5d86bf5ba20047774014b422e7c30ee13a9c (diff) | |
Get rid of the old buildsystem
Bye, bye, old friend.
Diffstat (limited to 'buildlib/manpage.mak')
| -rw-r--r-- | buildlib/manpage.mak | 30 |
1 files changed, 0 insertions, 30 deletions
diff --git a/buildlib/manpage.mak b/buildlib/manpage.mak deleted file mode 100644 index 063841d86..000000000 --- a/buildlib/manpage.mak +++ /dev/null @@ -1,30 +0,0 @@ -# -*- make -*- - -# This installs man pages into the doc directory - -# Input -# $(SOURCE) - The documents to use - -# All output is written to files in the build doc directory - -# See defaults.mak for information about LOCAL - -# Some local definitions -LOCAL := manpage-$(firstword $(SOURCE)) -$(LOCAL)-LIST := $(addprefix $(DOC)/,$(SOURCE)) - -# Install generation hooks -doc: manpages -manpages: $($(LOCAL)-LIST) -veryclean: veryclean/$(LOCAL) - -MKDIRS += $(DOC) - -$($(LOCAL)-LIST) : $(DOC)/% : % - echo Installing man page $< to $(@D) - cp $< $(@D) - -# Clean rule -.PHONY: veryclean/$(LOCAL) -veryclean/$(LOCAL): - -rm -rf $($(@F)-LIST) |