doc/manual/Makefile
changeset 3978 e1e886e0edec
parent 3739 97bd03e5af73
child 3991 36052c1dd7ab
--- a/doc/manual/Makefile	Thu Dec 04 11:34:01 2008 +0000
+++ b/doc/manual/Makefile	Thu Dec 04 18:55:04 2008 -0800
@@ -6,7 +6,16 @@
 CSS = --css-include=manual.css
 SPLIT = --split section
 
-DIA_SOURCES = internet-node-send.dia internet-node-recv.dia packet.dia node.dia buffer.dia sockets-overview.dia
+DIA_SOURCES = \
+	internet-node-send.dia \
+	internet-node-recv.dia \
+	packet.dia \
+	node.dia \
+	buffer.dia \
+	sockets-overview.dia \
+	testbed.dia \
+	emulated-channel.dia
+
 DIA_EPS = ${DIA_SOURCES:.dia=.eps}
 DIA_PNG = ${DIA_SOURCES:.dia=.png}
 DIA_PDF = ${DIA_SOURCES:.dia=.pdf}