From 461d24360a1464d365f55b4b274eb176bedcb83c Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Fri, 22 Aug 2008 03:53:45 +0100
Subject: [PATCH] support for install_docs

---
 Makefile.in | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/Makefile.in b/Makefile.in
index b4836461f..679bc0547 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -26,6 +26,10 @@ INCLUDEDIR=$(ROOTDIR)/include/Yap
 # where to store info files
 #
 INFODIR=$(SHAREDIR)/info
+#
+# where to store documentaion files
+#
+DOCSDIR=$(SHAREDIR)/docs/yap
 
 #
 # Add this flag to YAP_EXTRAS if you need the extension:
@@ -733,6 +737,13 @@ install_info:
 	fi; \
 	$(INSTALL_INFO) --quiet --section "Programming Languages" --entry="`cat pillow_doc.infoindex`" pillow_doc.info $(DESTDIR)$(INFODIR)/dir
 
+install_docs:
+	$(MAKE) pdf
+	$(MAKE) html
+	$(INSTALL_DATA) yap.html* $(DESTDIR)$(DOCSDIR)
+	$(INSTALL_DATA) yap.pdf $(DESTDIR)$(DOCSDIR)
+	$(INSTALL_DATA) $(srcdir)/README $(DESTDIR)$(DOCSDIR)
+
 info: yap.info
 
 yap.info: $(YAPDOCS)