From 58a7c046d22579cc5156fb34429e5ea7ea5a5526 Mon Sep 17 00:00:00 2001
From: Tom Willemsen
Date: Sun, 6 Jan 2013 14:36:51 +0100
Subject: Add install target to Makefile

Installs everything under `DESTDIR', which is `/usr/local' by
default.
---
 doc/Makefile | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'doc/Makefile')

diff --git a/doc/Makefile b/doc/Makefile
index 29d7269..7e798bf 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -1,4 +1,12 @@
+DESTDIR ?= /usr/local
+
 .PHONY: all
 
 all: markam.info
+
+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"
+
 markam.info: markam.texi
-- 
cgit v1.3-2-g0d8e