diff options
Diffstat (limited to 'Doc')
| -rw-r--r-- | Doc/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Doc/Makefile b/Doc/Makefile index eff7fb3..9a36f67 100644 --- 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 |