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 20c0688..44da2cd 100644 --- a/Doc/Makefile.deps +++ b/Doc/Makefile.deps @@ -155,6 +155,7 @@ LIBFILES= $(MANSTYLES) $(INDEXSTYLES) $(COMMONTEX) \ lib/required_2.py \ lib/libtempfile.tex \ lib/liberrno.tex \ + lib/libctypes.tex \ lib/libsomeos.tex \ lib/libsignal.tex \ lib/libsocket.tex \ |