diff options
Diffstat (limited to 'Doc/Makefile.deps')
| -rw-r--r-- | Doc/Makefile.deps | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Doc/Makefile.deps b/Doc/Makefile.deps index d3931ae..a34a6ba 100644 --- a/Doc/Makefile.deps +++ b/Doc/Makefile.deps @@ -58,6 +58,7 @@ LIBFILES= $(MANSTYLES) $(COMMONTEX) \ ../lib/libshelve.tex \ ../lib/libcopy.tex \ ../lib/libmarshal.tex \ + ../lib/libwarnings.tex \ ../lib/libimp.tex \ ../lib/libparser.tex \ ../lib/libbltin.tex \ |