diff -r e36e7933f466 -r d9f4285c795c docs/src/Makefile
--- a/docs/src/Makefile	Sat Oct 28 11:23:54 2017 +0200
+++ b/docs/src/Makefile	Sat Oct 28 11:25:27 2017 +0200
@@ -32,7 +32,6 @@
 SRC  = index.md
 SRC += examples.md
 SRC += install.md
-SRC += integration.md
 SRC += license.md
 SRC += modules.md