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 55ebda6..502e9ea 100644 --- a/Doc/Makefile.deps +++ b/Doc/Makefile.deps @@ -169,6 +169,7 @@ LIBFILES= $(MANSTYLES) $(INDEXSTYLES) $(COMMONTEX) \ lib/liblogging.tex \ lib/libpdb.tex \ lib/libprofile.tex \ + lib/libhotshot.tex \ lib/libtimeit.tex \ lib/libcgi.tex \ lib/libcgitb.tex \ |