diff options
| -rw-r--r-- | Doc/Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Doc/Makefile b/Doc/Makefile index a09b1bf768..9a32058000 100644 --- a/Doc/Makefile +++ b/Doc/Makefile @@ -130,7 +130,9 @@ LIBFILES = lib.tex \ libmacfs.tex libmacos.tex libmacostools.tex libmactcp.tex \ libmacspeech.tex libmacui.tex libstdwin.tex libsgi.tex libal.tex \ libcd.tex libfl.tex libfm.tex libgl.tex libimgfile.tex libsun.tex \ - libxdrlib.tex libimghdr.tex librexec.tex libbastion.tex libformatter.tex + libxdrlib.tex libimghdr.tex \ + librestricted.tex librexec.tex libbastion.tex \ + libformatter.tex # Library document lib.dvi: $(LIBFILES) |