2013-01-06 14:36:51 +01:00
|
|
|
DESTDIR ?= /usr/local
|
|
|
|
|
|
2012-12-28 22:55:16 +01:00
|
|
|
.PHONY: all
|
|
|
|
|
|
2012-12-29 16:54:16 +01:00
|
|
|
all: markam.info
|
2013-01-06 14:36:51 +01:00
|
|
|
|
|
|
|
|
install: markam.info
|
|
|
|
|
install -Dm 655 markam.info "$(DESTDIR)/share/info/markam.info"
|
|
|
|
|
install-info --dir-file="$(DESTDIR)/share/info/dir" \
|
|
|
|
|
"$(DESTDIR)/share/info/markam.info"
|
|
|
|
|
|
2012-12-29 16:54:16 +01:00
|
|
|
markam.info: markam.texi
|
