diff -r b7ac213beac5 -r 0c56c67072a6 documentation/Makefile
--- a/documentation/Makefile	Tue May 03 15:14:42 2016 +0200
+++ b/documentation/Makefile	Wed May 04 10:29:55 2016 +0200
@@ -22,6 +22,7 @@
 	foe_read \
 	foe_write \
 	graph \
+	ip \
 	master \
 	pdos \
 	reg_read \