Added libaifc.tex to list of library files.

diff --git a/Doc/Makefile b/Doc/Makefile
index eff7fb3f51758c09fa8029f31f92c2df4ab3966d..9a36f673e6998396d15bb6802e8f6cb39f55583e 100644 (file)
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -48,7 +48,7 @@ libselect.tex libsgi.tex libsocket.tex libstd.tex libstdwin.tex \
        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