From e0cb22485481351242dff65ab0cce9a7b6fc3400 Mon Sep 17 00:00:00 2001
From: Tom Willemsen
Date: Sun, 6 Jan 2013 15:59:16 +0100
Subject: Add install-strip target

---
 doc/Makefile | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'doc')

diff --git a/doc/Makefile b/doc/Makefile
index 36b33c4..a3dd2bc 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -13,6 +13,9 @@ install: markam.info
 	$(INSTALL_INFO) --dir-file="$(DESTDIR)/share/info/dir" \
 		"$(DESTDIR)/share/info/markam.info"
 
+install-strip:
+	$(MAKE) install
+
 uninstall:
 	$(INSTALL_INFO) --dir-file="$(DESTDIR)/share/info/dir" \
 		--delete "$(DESTDIR)/share/info/markam.info"
-- 
cgit v1.3-2-g0d8e