diff --git a/Doc/Makefile.deps b/Doc/Makefile.deps
index 147b1107c15..fc052f411af 100644
--- a/Doc/Makefile.deps
+++ b/Doc/Makefile.deps
@@ -106,6 +106,7 @@ LIBFILES= $(MANSTYLES) $(INDEXSTYLES) $(COMMONTEX) \
 	lib/libfuncs.tex \
 	lib/libpython.tex \
 	lib/libsys.tex \
+	lib/libplatform.tex \
 	lib/libfpectl.tex \
 	lib/libgc.tex \
 	lib/libsets.tex \