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 8433161857..907181383c 100644 --- a/Doc/Makefile.deps +++ b/Doc/Makefile.deps @@ -198,6 +198,7 @@ LIBFILES= $(MANSTYLES) $(INDEXSTYLES) $(COMMONTEX) \ lib/libdis.tex \ lib/libxmllib.tex \ lib/libxmlrpclib.tex \ + lib/libsimplexmlrpc.tex \ lib/libpyexpat.tex \ lib/xmldom.tex \ lib/xmldomminidom.tex \ |