diff -r 000000000000 -r 033898178630 doc/Makefile
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/doc/Makefile	Sat Aug 04 21:19:15 2018 +0200
@@ -0,0 +1,39 @@
+# Makefile for the bms documentation.
+# Copyright (c) 2018 by M. Broek.
+
+include ../Makefile.global
+
+SRC		= bms.sgml bms-ch1.sgml bms-ch2.sgml bms-ch3.sgml
+HTML		= bms.html
+PDF		= bms.pdf
+OTHER		= Makefile docbook-utils.dsl 
+
+#############################################################################
+
+.c.o:
+		${CC} ${CFLAGS} ${INCLUDES} ${DEFINES} -c $<
+
+all:		pdf
+
+bms.pdf:	${SRC} docbook-utils.dsl
+		docbook2pdf -d docbook-utils.dsl#print bms.sgml
+
+bms.html:	${SRC} docbook-utils.dsl
+		docbook2html -d docbook-utils.dsl#html -u bms.sgml
+
+pdf:		${PDF}
+
+html:		${HTML}
+
+clean:
+		rm -f *.pdf *.html
+
+install:	all
+
+filelist:	Makefile
+		BASE=`pwd`; \
+		BASE=`basename $${BASE}`; \
+		(for f in ${SRC} ${OTHER} ;do echo ${PACKAGE}-${VERSION}/$${BASE}/$$f; done) >filelist
+
+depend:
+