diff options
Diffstat (limited to 'Doc/Makefile.deps')
| -rw-r--r-- | Doc/Makefile.deps | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Doc/Makefile.deps b/Doc/Makefile.deps index f828e1b..3371f61 100644 --- a/Doc/Makefile.deps +++ b/Doc/Makefile.deps @@ -109,7 +109,6 @@ LIBFILES= $(MANSTYLES) $(INDEXSTYLES) $(COMMONTEX) \ lib/libplatform.tex \ lib/libfpectl.tex \ lib/libgc.tex \ - lib/libsets.tex \ lib/libweakref.tex \ lib/libinspect.tex \ lib/libpydoc.tex \ |