Description: Documentation Makefile
Author: Chuan-kai Lin <cklin@debian.org>
Last-Update: 2012-09-20

Index: package-bison-doc/Makefile
===================================================================
--- /dev/null	1970-01-01 00:00:00.000000000 +0000
+++ package-bison-doc/Makefile	2012-09-20 23:28:31.255512926 -0700
@@ -0,0 +1,18 @@
+BISON_TEXI = doc/bison.texi
+DESTDIR = $(CURDIR)/debian/tmp
+
+TEXI2PDF = /usr/bin/texi2pdf
+INSTALL = /usr/bin/install
+CP = /bin/cp
+
+all: doc/bison.texi
+	$(MAKEINFO) --no-split $^
+	$(MAKEINFO) -o html --html $^
+	$(TEXI2PDF) $^
+
+install:
+	$(INSTALL) -d $(DESTDIR)/usr/share/info
+	$(CP) bison.info $(DESTDIR)/usr/share/info
+	$(INSTALL) -d $(DESTDIR)/usr/share/doc/bison-doc
+	$(CP) -r bison.pdf html $(DESTDIR)/usr/share/doc/bison-doc
+
