DynamoRIO/drmemory

combined doxygen search for DRMF and DR API

Open

#1609 aperta il 28 nov 2014

Vedi su GitHub
 (0 commenti) (0 reazioni) (0 assegnatari)C (289 fork)auto 404
Component-DocsComponent-FrameworkMigratedPriority-MediumType-Featurehelp wanted

Metriche repository

Star
 (2727 star)
Metriche merge PR
 (Metriche PR in attesa)

Descrizione

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

Guida contributor

Direzione di ricerca
Indaga come combinare più set di documentazione Doxygen in una ricerca unificata, eventualmente configurando Doxygen per produrre un singolo indice di ricerca o utilizzando una ricerca lato server che indicizzi più set.
Tech stack
c
Dominio
documentation
Tipo issue
Funzionalità
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
2
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
1-3 ore
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Datata
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Abbastanza chiara
Prerequisiti
Nessuno
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
60