diff --git a/Doc/Makefile b/Doc/Makefile
index a09b1bf..9a32058 100644
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -130,7 +130,9 @@
     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)