add missing dependency

diff --git a/Doc/Makefile.deps b/Doc/Makefile.deps
index 147b1107c15d96819f3a750235729a8e4a42f6db..fc052f411af96c21496efb1decb49e2d2c9a095f 100644 (file)
--- 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 \