DynamoRIO/drmemory

combined doxygen search for DRMF and DR API

Open

#1.609 aberto em 28 de nov. de 2014

Ver no GitHub
 (0 comments) (0 reactions) (0 assignees)C (289 forks)auto 404
Component-DocsComponent-FrameworkMigratedPriority-MediumType-Featurehelp wanted

Métricas do repositório

Stars
 (2.727 stars)
Métricas de merge de PR
 (Métricas PR pendentes)

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

Guia do colaborador