Repository metrics
- Stars
- (2,727 stars)
- PR merge metrics
- (PR metrics pending)
Description
From bruen...@google.com on August 17, 2014 11:05:42
split from issue #1056 The current DR + DRMF + Dr. Memory combined package has separate documentation. We've added cross-links to our own custom pages, but the doxygen-generated API docs are completely separate. Furthermore, the top-level search will only search the DR API.
This issue covers a deeper integration, whether through a server-side combined search, a real combined doxygen processing into a single set of docs, or something else.
For now, can we add a note under the search box? I don't see an easy way to do it.
Original issue: http://code.google.com/p/drmemory/issues/detail?id=1609