diff --git a/Doc/Makefile b/Doc/Makefile
index eff7fb3..9a36f67 100644
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -48,7 +48,7 @@
 	libstring.tex libstruct.tex libsun.tex libsys.tex \
 libthread.tex libtime.tex libtypes.tex \
 libunix.tex \
-libwhrandom.tex
+libwhrandom.tex libaifc.tex
 
 lib.dvi: $(LIBFILES)
 	touch lib.ind