diff options
| -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 3c91300..c8e0642 100644 --- a/Doc/Makefile.deps +++ b/Doc/Makefile.deps @@ -100,6 +100,7 @@ LIBFILES= $(MANSTYLES) $(INDEXSTYLES) $(COMMONTEX) \ lib/libobjs.tex \ lib/libstdtypes.tex \ lib/libexcs.tex \ + lib/libconsts.tex \ lib/libfuncs.tex \ lib/libpython.tex \ lib/libsys.tex \ |