add missing dependency
diff --git a/Doc/Makefile.deps b/Doc/Makefile.deps
index 147b110..fc052f4 100644
--- a/Doc/Makefile.deps
+++ b/Doc/Makefile.deps
@@ -106,6 +106,7 @@
 	lib/libfuncs.tex \
 	lib/libpython.tex \
 	lib/libsys.tex \
+	lib/libplatform.tex \
 	lib/libfpectl.tex \
 	lib/libgc.tex \
 	lib/libsets.tex \